首页> 外文OA文献 >Tools for Formal Specification, Verification, and Validation of Requirements

【2h】

Tools for Formal Specification, Verification, and Validation of Requirements

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

页面导航

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

著录项

作者
Constance Heitmeyer; James Kirby; Bruce Labaw;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal verification of functional properties of a SCR-style software requirements specification using PVS [J] . Taeho Kim, David Stringer-Calvert, Sungdeok Cha Reliability Engineering & System Safety . 2005,第3期

机译：使用PVS形式验证SCR样式的软件需求规范的功能属性
2. End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software [J] . Alves M.C.B., Drusinsky D., Michael J.B., IEEE systems journal . 2013,第4期

机译：端到端正式规范，验证和验证过程：太空飞行软件的案例研究
3. Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study [J] . Vidar Sl°atten, Frank Alexander Kraemer, Peter Herrmann ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第3期

机译：致力于自动生成形式规范以验证和验证可靠的分布式系统：以工业案例研究为例的方法
4. Tools for formal specification, verification, and validation of requirements [C] . Heitmeyer, C., Kirby, . 1997

机译：正式规范，验证和确认需求的工具
5. Formal specification and verification of a JVM and its bytecode verifier. [D] . Liu, Hanbing. 2006

机译：JVM及其字节码验证程序的正式规范和验证。
6. A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format an API and a validation method [O] . Augustin Luna, Evrim I Karac, Margot Sunshine, 2011

机译：正式交换MIM图的正式MIM规范和工具：基于XML的格式API和验证方法
7. Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification [O] . Klimek, Radoslaw 2014

机译：从需求模型生成逻辑规范基于扣减的形式验证
8. Tools for Formal Specification, Verification, and Validation of Requirements. [R] . Heitmeyer, C., Kirby, J., Labaw, B. 1997

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

Tools for Formal Specification, Verification, and Validation of Requirements

著录项

引文网络

相似文献

相关主题

期刊订阅