VDMを用いた仕様記述・検証 〜 モデリング編 〜
図4 階層化したクラス図
記事に戻る
植木雅幸(CSK),@IT MONOist