VDM++による形式仕様記述 電子書籍版

• 

• 4180円（税込）

  初めての方

  6回使える！最大70%OFFクーポン
  ※値引上限等条件あり

  詳細・獲得はこちら

  初めてではない方

  何回でも使える5%OFFクーポン
  
  

  詳細・獲得はこちら
  購入はこちら試し読み

  • 本作品について、無料施策・クーポン等の割引施策・PayPayポイント付与の施策を行う予定があります。
    この他にもお得な施策を常時実施中、また、今後も実施予定です。詳しくはこちら。
  専門書　コンピューター

  作品内容

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

作者の関連作品作者の作品一覧