VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法/単行本
この商品の詳細
- 出版社
- 翔泳社
- 出版社シリーズ
- IT Architects' Archive
- ISBN
- 9784798119618
- サイズ
- 単行本
- 発売年月日
- 2010年08月01日
この商品の紹介
形式仕様記述言語VDM++を用いて開発対象システムを厳密に記述し、コンピュータシステムに対する信頼性や安全性などの確認や検証を行う方法を具体例を基に解説。オブジェクト指向の概念を取り入れたシステム設計法も示す。
VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法/単行本
今お申し込みで120円買取中!
この商品の買取価格を調べる
買取金額50%UP
+お買物クーポン500円分プレゼント!
VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法/単行本
今お申し込みで
120円買取中!
買取金額50%UP
+お買物クーポン500円分
プレゼント!
VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法/単行本