首页> 外文OA文献 >Automated Consistency Checking of Requirements Specifications

【2h】

Automated Consistency Checking of Requirements Specifications

机译：需求规格的自动一致性检查

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Constance L. Heitmeyer; Ralph D. Jeffords; Bruce G. Labaw;
展开▼
作者单位

展开▼
年度 1996
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Interoperability of CAD models and SysML specifications for the automated checking of design requirements [J] . Rihab Brahmi, Moncef Hammadi, Nizar Aifaoui, Procedia CIRP . 2021,第a期

机译：CAD模型和SYSML规范的互操作性，用于自动检查设计要求
2. Checking the consistency of Object-Z formal specification based on theorem proof [J] . Wan Weiqing, Yu Yongqing, Zeng Qingyan, Journal of Computational Methods in Sciences and Engineering . 2020,第1期

机译：基于定理证明检查对象-Z正式规范的一致性
3. Consistency Checking in Early Software Product Line Specifications - The VCC Approach [J] . Mauricio Alférez, Roberto E. Lopez-Herrejón, Ana Moreira, Journal of Universal Computer Science . 2014,第5期

机译：早期软件产品线规格中的一致性检查-VCC方法
4. Towards automated consistency checks of product line requirements specifications [C] . Kim Lauenroth, Klaus Pohl IEEE/ACM international conference on Automated software engineering . 2007

机译：进行产品线要求规格的自动一致性检查
5. Consistency Checking of Natural Language Temporal Requirements using Answer-Set Programming. [D] . Li, Wenbin. 2015

机译：使用答案集编程对自然语言时间要求进行一致性检查。
6. The method to divide a sentence of requirement into individual requirements and the development of requirement specification editor which can describe individual requirements [O] . Kuniya Sato, Masahiro Ooba, Tomohiko Takagi, -1

机译：将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
7. Consistency Checking of SCR-Style Requirements Specifications [O] . Constance Heitmeyer, Bruce Labaw, Daniel Kiskis 1995

机译：SCR样式要求规范的一致性检查
8. Automated Consistency Checking of Requirements Specifications. [R] . Heitmeyer, C. L., Jeffords, R. D., Labaw, B. G. 1996

机译：需求规范的自动一致性检查。

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号