三菱総合研究所（三菱総研）は，形式手法（フォーマルメソッド）を組み込みソフトウエア開発現場に導入するためのガイダンス資料「フォーマルメソッド導入ガイダンス」について，策定状況を明らかにした。同資料は，経済産業省からの事業委託により同社らが手掛けているもの。「VDM」に代表される形式仕様記述手法，「SPIN」に代表されるモデル検査など形式手法の全体像を俯瞰した上で，それらを開発プロセス内のどこで使いこなすかについて勘所をまとめる。2011年3月には公開する予定である。
この記事は会員登録で続きをご覧いただけます
-
会員の方はこちら
ログイン -
登録するとマイページが使えます
今すぐ会員登録（無料）
日経クロステックからのお薦め
日経BP 総合研究所がお話を承ります。ESG／SDGs対応から調査、情報開示まで、お気軽にお問い合わせください。
ブランド強化、認知度向上、エンゲージメント強化、社内啓蒙、新規事業創出…。各種の戦略・施策立案をご支援します。詳細は下のリンクから。
「デジタル＆ソリューション」をキーワードに、多様な事業を展開しています。
日経BPは、デジタル部門や編集職、営業職・販売職でキャリア採用を実施しています。デジタル部門では、データ活用、Webシステムの開発・運用、決済システムのエンジニアを募集中。詳細は下のリンクからご覧下さい。
