VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法

CiNii Available at 27 libraries

Bibliographic Information

Title
"VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法"
Statement of Responsibility
ジョン・フィッツジェラルド [ほか] 著 ; 酒匂寛訳
Publisher
  • 翔泳社
Publication Year
  • 2010.8
Book size
23cm
Other Title
  • VDM ++ ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ
  • Validated designs for object‐oriented systems
  • VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 || ブイディーエム プラスプラス ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ

Search this Book/Journal

Notes

その他の著者: ピーター・ゴルム・ラーセン, ポール・マッカージー, ニコ・プラット, マーセル・バーホフ

文献: p399-401

Related Books

See more

Details 詳細情報について

Back to top