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

• Material Type: 図書
• ISBN: 978-4-7981-1961-8
• Title: VDM++(ブイディーエムプラスプラス)によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 : ソフトウェア開発の実践
• Title Transcription: VDM ++ ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ : ソフトウェア カイハツ ノ ジッセン
• Author/Editor: ジョン・フィッツジェラルド, ピーター・ゴルム・ラーセン, ポール・マッカージー, ニコ・プラット, マーセル・バーホフ 著; 酒匂寛 訳
• Series Title: IT architects' archive
• Author Heading: Fitzgerald, John, 1965- ( 00909503 )Authorities; Larsen, Peter Gorm, 1964- ( 00909505 )Authorities; Mukherjee, Paul ( 01207754 )Authorities; 酒匂, 寛, 1958- サコウ, ヒロシ, 1958- ( 00204331 )Authorities
• Publication, Distribution, etc.: [東京] : 翔泳社
• Publication Date: 2010.8
• Publication Date (W3CDTF): 2010
• Extent: 416p
• Size: 23cm
• Additional Title: Validated designs for object-oriented systems; VDM++によるオブジェクト指向システムの高品質設計と検証
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Original Text Lang. Code: eng
• Subject Heading: システム設計 システムセッケイ ( 00571264 )Authorities; オブジェクト指向プログラミング オブジェクトシコウプログラミング ( 00937980 )Authorities
• NDC 9th ed.: 007.61 : Information science
• NDLC: M159
• Target Audience: 一般
• Note (General): 原タイトル: Validated designs for object-oriented systems
• Note (Bibliography): 文献あり 索引あり
• Price: 5480円
• Holding library: 国立国会図書館
• Call No.: M159-J1039
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000010950779; http://id.ndl.go.jp/bib/000010950779
• National Bibliography No. (JPNO): 21809711
• NS-MARC No.: 113225900
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 112

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

Table of Contents

第1部　モデルとソフトウェア開発<br/><br/>第1章　はじめに

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

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

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

1.4　モデリング構造：オブジェクト指向システム