Comments on 'Automatic analysis of consistency between requirements and designs'

Hewijin Christine Jiau; Dung-Feng Yu

首页> 外文期刊>IEEE Transactions on Software Engineering >Comments on 'Automatic analysis of consistency between requirements and designs'

【24h】

Comments on 'Automatic analysis of consistency between requirements and designs'

机译：关于“需求和设计之间的一致性的自动分析”的评论

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

摘要

This article comments on "automatic analysis of consistency between requirements and designs".

机译：本文评论“需求和设计之间的一致性的自动分析”。

著录项

来源
《IEEE Transactions on Software Engineering》 |2006年第4期|p.279-280|共2页
作者
Hewijin Christine Jiau; Dung-Feng Yu;
展开▼
作者单位

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词
formal specification; formal verification; consistency analysis; requirements engineering; software design;

机译：正式规范;形式验证;一致性分析;需求工程;软件设计;

相似文献

外文文献
中文文献
专利

1. Automatic analysis of consistency between requirements and designs [J] . Chechik M., Gannon J. IEEE Transactions on Software Engineering . 2001,第7期

机译：自动分析需求和设计之间的一致性
2. Design of Probabilistic Boolean Networks Under the Requirement of Contextual Data Consistency [J] . Edward R. Dougherty, Yufei Xiao IEEE Transactions on Signal Processing . 2006,第9期

机译：上下文数据一致性要求下的概率布尔网络设计
3. Database of Chemical Reactions Designed To Achieve Thermodynamic Consistency Automatically [J] . Peter M. May, Kevin Murray Journal of Chemical and Engineering Data: the ACS Journal for Data . 2001,第5期

机译：设计为自动实现热力学一致性的化学反应数据库
4. Automatic analysis of consistency between implementations and requirements: a case study [C] . Chechik, M., Cannon, . 1995

机译：自动分析实现与需求之间的一致性：一个案例研究
5. Automatic Identification and Analysis of Commented Out Code [D] . ?Grills, Blake 2020

机译：注释代码的自动识别和分析
6. An Automatic User Activity Analysis Method for Discovering Latent Requirements: Usability Issue Detection on Mobile Applications [O] . Soojin Park, Sungyong Park, Kyeongwook Ma 2018

机译：发现潜在需求的自动用户活动分析方法：移动应用程序上的可用性问题检测
7. Automatic Analysis of Consistency between Requirements and Designs [O] . Marsha Chechik, Ieee Computer Society, John Gannon, 1996

机译：自动分析需求与设计之间的一致性
8. Incentives for Technological Innovation in Air Pollution Reduction: An ETIP Policy Research Series. Volume 4: Analysis of the Rationale and Public Comment Regarding EPA's Proposed Regulation on Regional Consistency [R] . Evans, J. , Foskett, W. H. 1980

机译：减少空气污染技术创新的激励措施：ETIp政策研究系列。第4卷：关于Epa关于区域一致性的拟议规定的理由和公众意见分析

Comments on 'Automatic analysis of consistency between requirements and designs'

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅