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