首页> 外文OA文献 >A Formal Requirements Engineering Method for Specification, Synthesis, and Verification

【2h】

A Formal Requirements Engineering Method for Specification, Synthesis, and Verification

机译：规范，综合和验证的形式要求工程方法

页面导航

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

著录项

作者
Michael von der Beeck; Tiziana Margaria; Bernhard Steffen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Human Factor of Formal Engineering Methods in Validating Requirement Specification [J] . Advanced Science Letters . 2017,第6期

机译：验证要求规范中正式工程方法的人为因素
2. Traceability of Implementation to Design and Requirements Specifications: A Formal Technical Review Method (Reverse Engineering Tool) [J] . RASHMI YADAV, RAVINDRA PATEL, ABHAY KOTHARI Oriental Journal of Computer Science and Technology . 2015,第2期

机译：实施到设计和需求规范的可追溯性：正式的技术评审方法（逆向工程工具）
3. Traceability of Implementation to Design and Requirements Specifications: A Formal Technical Review Method (Reverse Engineering Tool) [J] . Rashmi Yadav, Ravindra Patel, Abhay Kothari Oriental journal of computer science and technology . 2015,第2期

机译：实施到设计和需求规格的可追溯性：正式的技术评审方法（逆向工程工具）
4. A formal requirements engineering method for specification, synthesis, and verification [C] . von der Beeck, M., Margaria, Software Engineering Environments, Eighth Conference on . 1997

机译：用于规范，综合和验证的正式需求工程方法
5. Automatic pipeline synthesis and formal verification from transactional datapath specifications. [D] . Nurvitadhi, Eriko. 2010

机译：根据交易数据路径规范自动进行管道综合和形式验证。
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. A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems [O] . Nihal Kececi, Wolfgang A. Halang, Alain Abran 2002

机译：一个半正式方法，以验证复杂系统功能要求规格的正确性
8. Tools for Formal Specification, Verification, and Validation of Requirements. [R] . Heitmeyer, C., Kirby, J., Labaw, B. 1997

机译：用于形式规范，验证和要求验证的工具。

A Formal Requirements Engineering Method for Specification, Synthesis, and Verification

著录项

引文网络

相似文献

相关主题

期刊订阅