VDM++によるオブジェクト指向システムの高品質設計と検証

「VDM++によるオブジェクト指向システムの高品質設計と検証」を読みました。

年末年始で時間があまり取れず、サンプルを使った説明はほとんど読み飛ばしちゃいましたけど(^^;

VDM++でできること、できないことはよくわかりました。説明が非常に丁寧というか、平易？というか、分かりやすいです。オブジェクト指向の知識がないと読むのはちょっと厳しいかな～。

ちょっとお高い本だったので図書館で借りましたが、VDM++を実際に使うのであれば参考書として手元に置いておきたいです。仕事が一段落したときに買って、サンプルをいろいろ動かしてみようかしら。。。