日本情報産業新聞2011年4月4日の朝刊で、経済産業省、三菱総合研究所などにより実施された形式手法実用化プロジェクト「モデル検査による組込みソフトウェア検証とモデリング・パターン化の研究開発」の成果物「フォーマルメソッド導入ガイダンス」と本ポータルサイトを紹介されました。
このページの先頭へ戻る