CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

System Design Verification Technique Research Consortium

システム設計検証技術研究会 平成18年度第2回講演会

平成18年度第2回目のシステム設計検証技術研究会は、北陸先端科学技術大学院大学 情報科学研究科 岸知二特任教授をお招きし、ご講演いただきました。32名の皆様にご参加いただきました。

日 時:   
2006年7月27日(木)16:00〜18:00

講演者:  
北陸先端科学技術大学院大学 情報科学研究科 特任教授 岸 知二氏

演 題: 
「モデル検査技術に基づくUML設計検証ツールの紹介」
内 容 :
組込みソフトウェアの高信頼性設計のために形式検証技術の活用が期待されている。本講演では、現在開発・評価を進めているUML設計検証ツールについて紹介するとともに、適用事例を踏まえた 効果や課題に関する検討を行う。

会 場:   
産業技術総合研究所 システム検証研究センター 千里オフィス6F会議室

Prof.Nakajima
岸氏
Lecture
講演風景



産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2009 AIST Research Center for Verification and Semantics, All Rights Reserved.