VDMを用いた仕様記述・検証 〜 仕様検証編 〜
図4 VDMUnitの構造
記事に戻る
植木雅幸(CSK),@IT MONOist