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

品質問題で余計な修正コストがかかっている原因の8割は「仕様」が曖昧。残念な事に「仕様」をきちんと書かずに力技で作り上げるソフトウェア開発の現場。その過程で技術者たちが不毛な開発作業を強いられている現状を打開する1冊。アーキテクトから保守管理者まで、仕様記述の仕組みが手に取るようにわかる。