VDM++(ブイディーエムプラスプラス)によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 : ソフトウェア開発の実践

• 資料種別: 図書
• ISBN: 978-4-7981-1961-8
• タイトル: VDM++(ブイディーエムプラスプラス)によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 : ソフトウェア開発の実践
• タイトルよみ: VDM ++ ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ : ソフトウェア カイハツ ノ ジッセン
• 著者・編者: ジョン・フィッツジェラルド, ピーター・ゴルム・ラーセン, ポール・マッカージー, ニコ・プラット, マーセル・バーホフ 著; 酒匂寛 訳
• シリーズタイトル: IT architects' archive
• 著者標目: Fitzgerald, John, 1965- ( 00909503 )典拠; Larsen, Peter Gorm, 1964- ( 00909505 )典拠; Mukherjee, Paul ( 01207754 )典拠; 酒匂, 寛, 1958- サコウ, ヒロシ, 1958- ( 00204331 )典拠
• 出版事項: [東京] : 翔泳社
• 出版年月日等: 2010.8
• 出版年（W3CDTF）: 2010
• 数量: 416p
• 大きさ: 23cm
• その他のタイトル: Validated designs for object-oriented systems; VDM++によるオブジェクト指向システムの高品質設計と検証
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 件名標目: システム設計 システムセッケイ ( 00571264 )典拠; オブジェクト指向プログラミング オブジェクトシコウプログラミング ( 00937980 )典拠
• NDC9版: 007.61 : 情報科学
• NDLC: M159
• 対象利用者: 一般
• 一般注記: 原タイトル: Validated designs for object-oriented systems
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 5480円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-J1039
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000010950779; http://id.ndl.go.jp/bib/000010950779
• 全国書誌番号: 21809711
• NS-MARC番号: 113225900
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 112

• 要約等: 品質問題で余計な修正コストがかかっている原因の8割は「仕様」が曖昧一般にユーザからの要求に対して正確な仕様書が作成されて、はじめてエンジニアが要求に合ったソフトウェア開発（システム設計）を構築することができます。しかし、実際にはちゃんと「仕様」が書かれず、エンジニアたちが不毛な開発作業を強いられてい...

目次

第1部　モデルとソフトウェア開発

第1章　はじめに

1.1　ソフトウェア開発の挑戦

1.2　複雑さをマスターする：モデリングの役割

1.3　ソフトウェア開発におけるモデリングの位置付け