文献

J-GLOBAL ID：200902157618672261   整理番号：99A0355138

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

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

著者 (5件)： 松井聡一 (三菱電機) ,  大河原繁 (三菱電機) ,  小泉寿男 (東京電機大) ,  原島忠雄 (三菱電機) ,  立花幹生 (三菱電機)
資料名： 電気学会論文誌 C  (IEEJ Transactions on Electronics, Information and Systems)
巻： 119-C  号： 3  ページ： 367-379  発行年： 1999年03月 
JST資料番号： S0810A  ISSN： 0385-4221  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： Harelの状態遷移図において,状態が「同時に有効になる」と...

シソーラス用語： *形式的仕様 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0355138&from=J-GLOBAL&jstjournalNo=S0810A") }}

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (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

タイトルに関連する用語 (5件)： 位置決定 ,  手法 ,  組込みソフトウェア ,  仕様 ,  状態遷移図