VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法
著者
書誌事項
VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法
(IT architects' archive, . ソフトウェア開発の実践||ソフトウェア カイハツ ノ ジッセン)
翔泳社, 2010.8
- タイトル別名
-
Validated designs for object‐oriented systems
VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 || ブイディーエム プラスプラス ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ
- タイトル読み
-
VDM ++ ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ
大学図書館所蔵 全27件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
その他の著者: ピーター・ゴルム・ラーセン, ポール・マッカージー, ニコ・プラット, マーセル・バーホフ
文献: p399-401
内容説明・目次
内容説明
品質問題で余計な修正コストがかかっている原因の8割は「仕様」が曖昧。残念な事に「仕様」をきちんと書かずに力技で作り上げるソフトウェア開発の現場。その過程で技術者たちが不毛な開発作業を強いられている現状を打開する1冊。アーキテクトから保守管理者まで、仕様記述の仕組みが手に取るようにわかる。
目次
- 第1部 モデルとソフトウェア開発(VDM++でモデルを構築する:その概観;VDM++のツールサポート)
- 第2部 VDM++によるオブジェクト指向システムのモデリング(データを定義する;機能を定義する ほか)
- 第3部 モデリングの実践—3つのケーススタディ(モデルの構造化:エニグマ暗号機;ビューの統合:CSLaMシステム ほか)
- 第4部 モデルから実装へ(VDM++による並行処理;モデルの品質 ほか)
「BOOKデータベース」 より