※一部利用できない機能があります
述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
- フォーマット:
- 論文
- 責任表示:
- 山根, 智 ; Yamane, Satoshi
- 言語:
- 日本語
- 出版情報:
- 金沢大学 理工研究域電子情報通信学系, 2010-04-01
- 著者名:
- 掲載情報:
- 平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2009 Fiscal Year Final Research Report
- 巻:
- 2007-2009
- 開始ページ:
- 4p.
- バージョン:
- author
- 概要:
- リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造の変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェクト指向システムの効率的なモデル検査が実現できることを明らかにした。<br />研究課題/領域番号:19500025, 研究期間(年度 … ):2007-2009 続きを見る
- URL:
- http://hdl.handle.net/2297/00053964
類似資料:
ソフトバンククリエイティブ | |
金沢大学 理工研究域電子情報通信学系 |
技術評論社 |
オライリー・ジャパン, オーム社 |
オライリー・ジャパン, オーム社 (発売) |
Information Processing Society of Japan (IPSJ) = 情報処理学会 | |
コロナ社 |
近代科学社 |
Information Processing Society of Japan (IPSJ) = 情報処理学会 |
エスシーシー |