首页> 美国政府科技报告 >Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition

【24h】

Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition

机译：关于可靠实时系统规范的语言和符号，第4部分修订。要求和设计规范语言。正式定义

获取原文

页面导航

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

摘要

The main purpose of the report is to define a formal specification language,called RDSL, for the specification of requirements and design of real-time systems. Moreover, it provides a proof system to formally reason about the properties and the behavior of real-time systems specified in RDSL.

著录项

作者
Wieczorek, M. J.; Vytopil, J.;
展开▼
作者单位

展开▼
年度 1990
页码 1-38
总页数 38
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Real time systems; Requirements; Systems design; Systems analysis; Specifications; Syntax; Semantics;

机译：实时系统;要求;系统设计;系统分析;规范;语法;语义;

相似文献

外文文献
中文文献
专利

1. Informal and formal requirements specification languages: bridging the gap [J] . Fraser M.D., Kumar K. IEEE Transactions on Software Engineering . 1991,第5期

机译：非正式和正式需求规范语言：弥合差距
2. Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements [J] . Hassan R., Eltoweissy M., Bohner S., Software, IET . 2010,第2期

机译：工程安全的形式化分析和设计，可从面向目标的安全要求中自动得出正式的软件安全规范
3. JPIAspectZ: A Formal Requirement Specification Language for Joint Point Interface AOP Applications [J] . C. L. Vidal-Silva, E. Madariaga, T. Pham, Engineering Technology and Applied Science Research . 2019,第4期

机译：JPIAspectZ：联合点接口AOP应用程序的形式要求规范语言
4. Integrating object-oriented requirements specifications with formal notations [C] . Lee, J., Pan, . 1995

机译：将面向对象的需求规范与正式符号集成在一起
5. Stimulus response requirements specification notation: An empirically evaluated requirements specification notation. [D] . Cooper, Kendra M. L. 2001

机译：刺激响应需求规范符号：一种通过经验评估的需求规范符号。
6. Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks [O] . Diego Martínez, Apolinar González, Francisco Blanes, 2011

机译：无线传感器和执行器网络的正式规范和设计技术
7. Generating MSCs from an integrated formal specification language. [O] . Dong, J. S., Qin, S., Sun, J. 2004

机译：从集成的正式规范语言生成MSC。

Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition

摘要

著录项

相似文献

相关主题

期刊订阅