「誰でも使える形式手法」関連の最新 ニュース・レビュー・解説 記事 まとめ - ITmedia Keywords

誰でも使える形式手法（5）： VDMを用いた仕様記述・検証 ～ 仕様検証編 ～ 要求を仕様としてモデル化し、VDMで仕様を記述してきた本連載もいよいよ大詰め！ 今回は“仕様の検証”について詳しく解説する。（2009/2/20） 誰でも使える形式手法（4）： VDMを用いた仕様記述・検証 ～ 仕様記述編 ～ 今回は、「LEGO Mindstorms NXT」のライントレース仕様をテーマに記述したUMLを基に、VDMによる仕様記述の手順を詳しく解説する！（2009/1/21） 誰でも使える形式手法（3）： VDMを用いた仕様記述・検証 ～ モデリング編 ～ 今回は「LEGO Mindstorms NXT」を題材に、要求の分析からVDMを前提としたモデリング、UMLの記述までの流れを詳しく解説する。（2008/11/19） 誰でも使える形式手法（2）： VDMはソフトウェア開発でこう使う！ “V