- VDM++によるオブジェクト指向システムの高品質設計と検証
-
仕様の品質を飛躍的に高める手法
IT architects’ archive
Validated designs for objectーoriented systems.翔泳社
ジョン・フィッツジェラルド ペーター・ゴルム・ラーセン ポール・マッカージー ニコ・プラット マーセル・バーホフ 酒匂寛- 価格
- 6,028円(本体5,480円+税)
- 発行年月
- 2010年08月
- 判型
- B5
- ISBN
- 9784798119618
この商品をご覧のお客様は、こんな商品もチェックしています。
- 人口で語る世界史
-
価格:1,320円(本体1,200円+税)
【2023年02月発売】
- 法の歴史大図鑑
-
価格:5,478円(本体4,980円+税)
【2024年10月発売】
- 著作権はどこへいく?
-
価格:3,300円(本体3,000円+税)
【2024年01月発売】
- 強欲資本主義は死んだ
-
価格:3,850円(本体3,500円+税)
【2023年02月発売】




























[BOOKデータベースより]
品質問題で余計な修正コストがかかっている原因の8割は「仕様」が曖昧。残念な事に「仕様」をきちんと書かずに力技で作り上げるソフトウェア開発の現場。その過程で技術者たちが不毛な開発作業を強いられている現状を打開する1冊。アーキテクトから保守管理者まで、仕様記述の仕組みが手に取るようにわかる。
第1部 モデルとソフトウェア開発(VDM++でモデルを構築する:その概観;VDM++のツールサポート)
第2部 VDM++によるオブジェクト指向システムのモデリング(データを定義する;機能を定義する ほか)
第3部 モデリングの実践―3つのケーススタディ(モデルの構造化:エニグマ暗号機;ビューの統合:CSLaMシステム ほか)
第4部 モデルから実装へ(VDM++による並行処理;モデルの品質 ほか)