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

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

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

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

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

年末年始

2010年の年末から2011年の年始にかけて。
いろいろあったけど、明日から仕事だぁ(^^;
またがんばろ～っと。

みなさま、今年もどうぞよろしくお願いいたします m(_ _)m