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

著者

書誌事項

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

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

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

翔泳社, 2010.8

タイトル別名

Validated designs for object‐oriented systems

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

タイトル読み

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

大学図書館所蔵 件 / 全27件

この図書・雑誌をさがす

注記

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

文献: p399-401

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ