Requirements modeling language; Functional requirements; Nonfunctional requirements; Ontologies;
机译:从需求文档中自动生成和完善正式的规范
机译:从需求文档自动生成和完善正式的规范
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:从利益相关者的要求到完善的正式规范
机译:从面向对象的规范到实现:正式的改进方法。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:通过改进从利益相关者要求到正式规格
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义