VDMを用いた仕様記述・検証～モデリング編～ (l_keisiki_fig03_03.gif)