ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。 本書は、この手法の一つVDMとオブジェクト指向記述言語VDMについて実践的に解説する。ソフトウェア開発者、研究者、大学院生必読の書である。
VDMによる形式仕様記述 形式仕様入門·活用の第歩 EPUB, PDF, TXT, AZW3, MOBI, FB2, DjVu, Kindle电子书免费下载。
ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。 本書は、この手法の一つVDMとオブジェクト指向記述言語VDMについて実践的に解説する。ソフトウェア開発者、研究者、大学院生必読の書である。
VDMによる形式仕様記述 形式仕様入門·活用の第歩 EPUB, PDF, TXT, AZW3, MOBI, FB2, DjVu, Kindle电子书免费下载。