ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。
　本書は、この手法の一つVDMとオブジェクト指向記述言語VDM++について実践的に解説する。ソフトウェア開発者、研究者、大学院生必読の書である。

アジャイル導入のメリット最大化へ！
ソフトウェア工学分野の“大御所”バートランド・メイヤー博士の手による，アジャイル入門書にして具体的な開発手法にまで言及した一冊．アジャイルのプラス面だけでなく，マイナス面にも切り込んで紹介している点が本書の特徴である．アジャイルができること・できないこと，世間一般のアジャイルへの誤解などを明らかにすることで，アジャイル導入のメリットの最大化を目指す．各章ともコンパクトにまとめられており，初学者でも無理なく読み進められる一方，開発現場で頻出する諸問題にも詳しいため，現場レベルでも役立つ．