VDMを用いた仕様記述・検証 〜 仕様記述編 〜
図2 VDM記述後のクラス図
記事に戻る
植木雅幸(CSK),@IT MONOist