Art

J-GLOBAL ID：200902157618672261   Reference number：99A0355138

A Statechart Generation Method for Specification of Embedded Software by Deciding State Hierarchy Procedure.

状態位置決定手法による組込みソフトウェア仕様の状態遷移図生成方法

Author (5)： MATSUI SOICHI (三菱電機) ,  OKAWARA SHIGERU (三菱電機) ,  KOIZUMI HISAO (東京電機大) ,  HARASHIMA TADAO (三菱電機) ,  TACHIBANA MIKIO (三菱電機)
Material： 電気学会論文誌 C  (IEEJ Transactions on Electronics, Information and Systems)
Volume： 119-C  Issue： 3  Page： 367-379  Publication year： Mar. 1999 
JST Material Number： S0810A  ISSN： 0385-4221  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *formal specification ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0355138&from=J-GLOBAL&jstjournalNo=S0810A") }}

JST classification (1)： Computer system development  (JD02010R)

Reference (10)：

• 伊藤善朗. 組み込み制御ソフトウェアのオブジェクト指向分析・設計. 情報処理学会OO'95シンポジウム. 1995, 181-188
• HAREL, David. The STATEMATE Semantics of Statecharts, submitted for publication. (Revised version of "The Semantics of Statecharts". Tech. Report, i-Logix, Inc. 1989
• PERON, Adriano. Statecharts, Transition Structures and Transformations. 6th International Joint Conference on Theory and Practice of Software Development. 1995
• GAJSKI, Danile D. SPECIFICATION AND DESIGN OF EMBEDDED SYSTEMS. 1994
• PHILIPPS, Jan. Compositional Specification of Embedded Systems with Statecharts. TAPSOFT'97. 1997

Terms in the title (5)： 位置決定 ,  手法 ,  組込みソフトウェア ,  仕様 ,  状態遷移図