- 中古
- 書籍
- 書籍
VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法
定価 ¥6,028
2,475円 定価より3,553円(58%)おトク
獲得ポイント22P
在庫なし
発送時期 1~5日以内に発送
商品詳細
内容紹介 | |
---|---|
販売会社/発売会社 | 翔泳社 |
発売年月日 | 2010/08/02 |
JAN | 9784798119618 |
- 書籍
- 書籍
VDM++によるオブジェクト指向システムの高品質設計と検証
商品が入荷した店舗:0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
VDM++によるオブジェクト指向システムの高品質設計と検証
¥2,475
在庫なし
商品レビュー
5
1件のお客様レビュー
- ネタバレ
※このレビューにはネタバレを含みます
VDMの敷居が高いと感じていましたが、本書で敷居がいっきに半分になりました。 第3章のRoseとの連携 第9章のUnitTestとの連携 第14章のJAVAで実装する これらが、道具の根幹だと思います。 図での設計 試験仕様の生成 実際に動かす 3つの要素が分かるので、本書を読む勇気がでます。 翻訳された酒匂さんはEffelの訳者でもあるので、 抽象データ型の本質を分かっているので訳も読みやすいです。
Posted by