VDM ＋＋によるオブジェクト指向システムの高品質設計と検証
仕様の品質を飛躍的に高める手法
- 著者:
- ジョン・フィッツジェラルド/ペーター・ゴルム・ラーセン
- 出版社:
- 翔泳社
- 出版日:
- 2010年08月
- ISBN:
- 9784798119618
- 価格:
- ¥6,028
- シリーズ:
- IT architects’ archive
- 在庫:
- 4
- 判型:
- 単行本
★★★★★5.0(1 件)
上級者向け
VDM++オブジェクト指向設計システム品質仕様設計形式的検証ソフトウェアアーキテクチャソフトウェア開発プロセスアーキテクト保守管理高度なソフトウェア工学
書籍紹介
品質問題で余計な修正コストがかかっている原因の 8 割は「仕様」が曖昧。残念な事に「仕様」をきちんと書かずに力技で作り上げるソフトウェア開発の現場。その過程で技術者たちが不毛な開発作業を強いられている現状を打開する 1 冊。アーキテクトから保守管理者まで、仕様記述の仕組みが手に取るようにわかる。
クラフトビールをチェック →
