首页> 美国政府科技报告 >Approach to the Hierarchical Specification, Design and Verification of Software

【24h】

Approach to the Hierarchical Specification, Design and Verification of Software

机译：软件层次规范，设计与验证的探讨

获取原文

页面导航

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

摘要

A method is proposed for the production of large software systems via hierarchies of descriptive levels. The method is based upon the simultaneous refinement of data and code and guarantees conformity between different levels. It is illustrated using the MALPAS Intermediate Language.

著录项

作者
Bramson, B. D.;
展开▼
作者单位

展开▼
年度 1987
页码 p.1-15
总页数 15
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer programming; Systems engineering; Computer program verification; Computer programs; Conformity; Hierarchies; Production; Refining; Specifications;

机译：计算机编程;系统工程;计算机程序验证;计算机程序;符合性;层次结构;生产;精炼;规范;

相似文献

外文文献
中文文献
专利

1. A case study in design and verification of manufacturing system control software with hierarchical Petri nets [J] . M. Heiner, P. Deussen, J. Spranger The International Journal of Advanced Manufacturing Technology . 1999,第2期

机译：分层Petri网在制造系统控制软件设计与验证中的案例研究。
2. Insulation Commissioning Must Begin During Design and Specification: A "systems" approach to verify proper installation [J] . WILLIAM A. LOTZ HPAC engineering . 2004,第1期

机译：绝缘调试必须在设计和规范期间开始：一种“系统”方法来验证正确的安装
3. Hardware/software Co-design of complex embedded systems - an approach using efficient process models, multiple formalism specification and validation via co-simulation [J] . Nikolaos S. Voros, Luis Sanchez, Alejandro Alonso, Design automation for embedded systems . 2003,第1期

机译：复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型，多种形式主义规范和通过共模验证的方法
4. An approach to safety and correctness verification of software design specification [C] . Eun Mi Kim, Kusumoto, S. . 1995

机译：一种软件设计规范的安全性和正确性验证的方法
5. Compliance verification of a design model with respect to its specification model in the context of software defined radios: A model transformation approach. [D] . Zamora Zapata, Juan Pablo. 2005

机译：在软件定义无线电的范围内，针对设计模型相对于其规格模型的符合性验证：一种模型转换方法。
6. On the Design of Efficient Hierarchic Architecture for Software Defined Vehicular Networks [O] . Muhammad Adnan, Jawaid Iqbal, Abdul Waheed, 2021

机译：关于软件定义车辆网络的高效分层体系结构设计
7. Specification, Verification and Design of Evolving Automotive Software [O] . S. Ramesh, Birgit Vogel-Heuser, Wanli Chang, 2017

机译：演化汽车软件的规范，验证和设计

Approach to the Hierarchical Specification, Design and Verification of Software

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅