文献

J-GLOBAL ID：200902210656573437   整理番号：03A0451383

振舞い近似手法を用いたステートチャートに対する不変性の検証

Behavior Approximation Method for Verifying Invariant on Statecharts

著者 (3件)： 立石孝彰 (日本アイ・ビー・エム 東京基礎研) ,  青木利晃 (北陸先端科学技術大学院大) ,  片山卓也 (北陸先端科学技術大学院大)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 44  号： 6  ページ： 1448-1460  発行年： 2003年06月15日 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本稿では,互いに依存する複数のステートチャートを合成すること...

シソーラス用語： *オブジェクト指向言語 ,...
準シソーラス用語： ステートチャート

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

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

引用文献 (11件)：

• CHEUNG, S. C. Checking Subsystem Safety Properties in Compositional Reachability Analysis. 18th International Conference on Software Engineering. 1996
• CLARKE, O. E. M. Model Checking. 2000
• SMITH, J. D. G. Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. Formal Methods in System Design. 2001, 249-284
• HAREL, D. A Visual Formalism for Complex Systems. Science of Computer Programming. 1987, 8, 3, 231-274
• HOARE, C. Communicating Sequential Processes. 1985

タイトルに関連する用語 (5件)： 振舞い ,  近似手法 ,  チャート ,  不変性 ,  検証