試験公開中

VDM++による形式仕様記述：形式仕様入門・活用の第一歩（トップエスイー実践講座4）
ギフトで購入
このエントリーをはてなブックマークに追加

VDM++による形式仕様記述：形式仕様入門・活用の第一歩（トップエスイー実践講座4）

近代科学社

4,180円 2,090円 (1,900円+税) 《特価》

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

【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。

ページサンプル閲覧

以下はPDF版の先頭ページなどから、一部を抜粋して縮小した画像です。
（※EPUB版を提供している書籍の場合、基本的に内容は同じですが、見映えは異なります。 またお使いのEPUBリーダによっても見え方は大きく異なることがあります。）

Home 〉 書籍一覧 〉 VDM++による形式仕様記述：形式仕様入門・活用の第一歩（トップエスイー実践講座4） ▲ ページトップへ戻る