読み込み中... loading....
本日配信開始の新刊

VDM++による形式仕様記述

VDM++による形式仕様記述
電子書籍版
価格 4180円(税込)
ポイント還元 41ポイント(1%)
対応端末
  • PCPC
  • iOSiOS
  • AndroidAndroid
ページ数
  • 250
販売開始日 2020/02/14
紙書籍版 取り扱い中

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

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

本位田真一関連作品

近代科学社関連作品

「プログラミング一般」カテゴリ