Hybrid systems; Computer networks; Requirements; Specifications; Computer programs; Reasoning;
机译:混合知识表示作为需求规范和规范分析的基础
机译:需求规范中的共享服务建议:句法和语义混合工具包
机译:混合实时安全系统的需求规格说明和验证的定性形式方法
机译:生产系统修改有效规范的重要性 - 一种验证需求规范的方法
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:MultiAgent系统中的协调规范。使用Tropos方法从需求到架构