An integration environment to put formal specifications into practical use in real-time systems

Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira

研究成果

3 被引用数 (Scopus)

抄録

This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analysis and Object-Oriented Design. It also defines a specification process that assists a designer in translating a specification developed with the real-time Structured Analysis method into an Object Oriented Design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products. In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: Algebraic specification and temporal logic.

本文言語English
ホスト出版物のタイトルIWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design
出版社Association for Computing Machinery, Inc
ページ102-109
ページ数8
ISBN(印刷版)0818623209, 9780818623202
出版ステータスPublished - 1991 10 25
外部発表はい
イベント6th International Workshop on Software Specification and Design, IWSSD 1991 - Como, Italy
継続期間: 1991 10 25 → …

出版物シリーズ

名前IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

Other

Other6th International Workshop on Software Specification and Design, IWSSD 1991
国/地域Italy
CityComo
Period91/10/25 → …

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「An integration environment to put formal specifications into practical use in real-time systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル