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

Author(s)

• Fitzgerald, John
• Larsen, Peter Gorm
• Mukherjee, Paul
• Plat, Nico
• Verhoef, Marcel
• 酒匂, 寛 サコウ, ヒロシ

Bibliographic Information

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

ジョン・フィッツジェラルド [ほか] 著 ; 酒匂寛訳

（IT architects' archive, . ソフトウェア開発の実践||ソフトウェア カイハツ ノ ジッセン）

翔泳社, 2010.8

Other Title

Validated designs for object‐oriented systems

VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 || ブイディーエム プラスプラス ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ

Title Transcription

VDM ++ ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ

Note

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

文献: p399-401

Description and Table of Contents

Description

品質問題で余計な修正コストがかかっている原因の８割は「仕様」が曖昧。残念な事に「仕様」をきちんと書かずに力技で作り上げるソフトウェア開発の現場。その過程で技術者たちが不毛な開発作業を強いられている現状を打開する１冊。アーキテクトから保守管理者まで、仕様記述の仕組みが手に取るようにわかる。

Table of Contents

• 第１部　モデルとソフトウェア開発（ＶＤＭ＋＋でモデルを構築する：その概観；ＶＤＭ＋＋のツールサポート）
• 第２部　ＶＤＭ＋＋によるオブジェクト指向システムのモデリング（データを定義する；機能を定義する　ほか）
• 第３部　モデリングの実践—３つのケーススタディ（モデルの構造化：エニグマ暗号機；ビューの統合：ＣＳＬａＭシステム　ほか）
• 第４部　モデルから実装へ（ＶＤＭ＋＋による並行処理；モデルの品質　ほか）

by "BOOK database"

Details

• NCID: BB02915496
• ISBN:
  • 9784798119618
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: [東京]
• Pages/Volumes: xx, 416p
• Size: 23cm
• Classification:
  • NDC8 : 007.63
  • NDC9 : 007.63
• Subject Headings:
  • BSH : ソフトウェア工学
  • BSH : オブジェクト指向
• Parent Bibliography ID:
  • BA72567455