VDMの敷居が高いと感じていましたが、本書で敷居がいっきに半分になりました。第３章のRoseとの連携第９章のUnitTestとの連携第１４章のJAVAで実装するこれらが、道具の根幹だと思います。図での設計試験仕様の生成実際に動かす３つの要素が分かるので、本書を読む勇気がでます。翻訳された酒匂さんはEffelの訳者でもあるので、抽象データ型の本質を分かっているので訳も読みやすいです。

Posted by ブクログ

すべてのレビューを見る

関連ワードから探す

お手持ちのスマホでスキャン

お近くのスタッフに、表示されたスマホ画面を

みせていただければ商品をお探しいたします。

ブックオフナビをご利用いただきありがとうございます

お近くのスタッフにこの商品詳細画面をお見せください。400万点の在庫の中から商品をお探しいたします。

※画面に表示されている価格はお取り寄せ時の価格となります。

VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法

商品詳細

商品レビュー

関連ワードから探す

VDM++によるオブジェクト指向システムの高品質設計と検証仕様の品質を飛躍的に高める手法