「VDM++によるオブジェクト指向システムの高品質設計と検証 」を読みました。
年末年始で時間があまり取れず、サンプルを使った説明はほとんど読み飛ばしちゃいましたけど(^^;
VDM++でできること、できないことはよくわかりました。説明が非常に丁寧というか、平易?というか、分かりやすいです。オブジェクト指向の知識がないと読むのはちょっと厳しいかな~。
ちょっとお高い本だったので図書館で借りましたが、VDM++を実際に使うのであれば参考書として手元に置いておきたいです。仕事が一段落したときに買って、サンプルをいろいろ動かしてみようかしら。。。
| Trackback ( 0 )
|
|