首页> 美国政府科技报告 >A Bibliography on Formal Methods for System Specification, Design and Validation

【24h】

A Bibliography on Formal Methods for System Specification, Design and Validation

机译：关于系统规范，设计和验证的形式化方法的参考书目

获取原文

页面导航

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

摘要

Literature on the specification, design, verification, testing, and evaluation of avionics systems was surveyed, providing 655 citations. Journal papers, conference papers, and technical reports are included. Manual and computer-based methods were employed. Keywords used in the online search are listed.

著录项

作者
Meyer, J. F.; Furchtgott, D. G.; Movaghar, A.;
展开▼
作者单位

展开▼
年度 1982
页码 p.1-41
总页数 41
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Architecture (Computers); Avionics; Bibliographies; Computer systems design; Control theory; Distributed parameter systems; Program verification (Computers); Real time operation; Algebra; Algorithms; Digital systems; Electronic control; Fault tolerance; Large;

机译：建筑学（计算机）;航空电子学;书目;计算机系统设计;控制理论;分布参数系统;程序验证（计算机）;实时操作;代数;算法;数字系统;电子控制;容错;大;

相似文献

外文文献
中文文献
专利

1. 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期

机译：致力于自动生成形式规范以验证和验证可靠的分布式系统：以工业案例研究为例的方法
2. Qualitative formal method for requirements specification and validation of hybrid real-time safety systems [J] . Lee J.-S., Cha S.-D. IEE Proceedings. Part L . 2000,第1期

机译：混合实时安全系统的需求规格说明和验证的定性形式方法
3. A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models [J] . K. Benghazi Akhlaki, M.I. Capel Tunon, J.A. Holgado Terriza, Science of Computer Programming . 2007,第1期

机译：通过转换UML-RT设计模型对实时系统进行正式规范的方法学方法
4. Validating the design of real-time systems using a formal specification method [C] . Buendia-Garcia, F., Vila-Carbo, Real-Time Systems, 1996., Proceedings of the Eighth Euromicro Workshop on . 1996

机译：使用形式化规范方法验证实时系统的设计
5. Formal specification methodology and notation for safety critical systems [D] . Reddy, Raghu V. 1992

机译：安全关键系统的正式规范方法和符号
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. Formal Methods for the Specification and Design of Real-Time Safety Critical Systems [O] . Jonathan S. Ostroff 1992

机译：实时安全关键系统规范和设计的形式化方法

A Bibliography on Formal Methods for System Specification, Design and Validation

摘要

著录项

相似文献

相关主题

期刊订阅