机译:淘汰面向对象元素的自然语言需求规范本体的设计与开发
机译:通过正式要求自动生成装配单元规格,以提高工程流程的成熟度
机译:使用Agent范式进行需求启发和规范说明:飞机周转模拟器的案例研究
机译:通过外部设计和面向对象的规范确定需求并进行形式化
机译:使用正式需求规范的面向对象程序测试。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:将基于业务的技术文档中的话语映射到受控语言文本以进行需求获取的形式化
机译:从面向对象的Domainmodel中引出正式软件规范