2010-08-09から1日間の記事一覧
プレス発表 形式手法適用調査報告書の公開:IPA 独立行政法人 情報処理推進機構 IPAが形式手法に関する言語(仕様?)、ツール、事例の調査結果を公開していたので読みました。以下、メモ。 VDM以外にもBとか色々仕様があるらしい。 事例は主に組み込み系(…
プレス発表 形式手法適用調査報告書の公開:IPA 独立行政法人 情報処理推進機構 IPAが形式手法に関する言語(仕様?)、ツール、事例の調査結果を公開していたので読みました。以下、メモ。 VDM以外にもBとか色々仕様があるらしい。 事例は主に組み込み系(…