文献

J-GLOBAL ID：200902226797788635   整理番号：07A0021458

モデル検査によるステートチャートとシーケンスチャートの整合性検証

Consistency analysis between state charts and sequence charts by model checking

著者 (2件)： 長谷川哲夫 (早稲田大) ,  深澤良彰 (早稲田大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 106  号： 340(AI2006 12-20)  ページ： 41-46  発行年： 2006年11月03日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 多種のシステムを低コストで短期間に開発しなければならない組込...

シソーラス用語： *実時間処理 ,...
準シソーラス用語： ステートチャート ,...

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

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

引用文献 (5件)：

• UML Profile for Schedulability, Performance and Time. URL : http://www.omg.org/cgi-bin/doc?formal/2005-01-02. 2005
• INVERARDI, Paola. Automated Check of Architectural Models Consistency Using SPIN. Proc. of ASE2001. 2001
• FIRLEY, Thomas. Timed Sequence Diagrams and Tool-Based Analysis A Case Study. Proc. of UML1999. 1999
• BEHRMANN, Gerd. A Tutorial on Uppaal. Proc, of SFM-RT'04. 2004
• BENGTSSON, Johan. Verification of an Audio Protocol with Bus Collision Using Uppaal. Proc. of CAV1996. 1996

タイトルに関連する用語 (5件)： モデル検査 ,  チャート ,  シーケンス ,  整合性 ,  検証