ソフトウェア開発のモデル化技法

ジョンフィッツジェラルド ペーター・ゴルムラーセン 荒木啓二郎 張漢明 荻野隆彦 佐原伸 染谷誠

• 岩波書店 (2003年2月26日発売)

感想・レビュー・書評

[keigoiさんの感想 · 2010年2月3日]

VDM-SLの本。
これだけで学習するのは辛いかもしれない。

[kaizenさんの感想 · 2011年12月31日]

ＶＤＭ，　ＶＤＭ＋＋を利用するための書籍。
フェリカがＶＤＭで記述したことから有名になった。
フェリカの事例の資料とともに読むとよくわかるかもしれない。