仕様の品質を飛躍的に高める手法 -- IT architects’ archive --
ジョン・フィッツジェラルド /著, ピーター・ゴルム・ラーセン /著, ポール・マッカージー /著, ニコ・プラット /著, マーセル・バーホフ /著, 酒匂寛 /訳   -- 翔泳社 -- 2010.8 -- 23cm -- 416p

資料詳細

タイトル VDM++(ブイディーエムプラスプラス)によるオブジェクト指向システムの高品質設計と検証
副書名 仕様の品質を飛躍的に高める手法 ソフトウェア開発の実践
シリーズ名 IT architects’ archive
著者名等 ジョン・フィッツジェラルド /著, ピーター・ゴルム・ラーセン /著, ポール・マッカージー /著, ニコ・プラット /著, マーセル・バーホフ /著, 酒匂寛 /訳  
出版 翔泳社 2010.8
大きさ等 23cm 416p
分類 007.63
件名 電子計算機-ソフトウェア
注記 Validated designs for object-oriented systems./の翻訳
注記 文献あり 索引あり
要旨 品質問題で余計な修正コストがかかっている原因の8割は「仕様」が曖昧。残念な事に「仕様」をきちんと書かずに力技で作り上げるソフトウェア開発の現場。その過程で技術者たちが不毛な開発作業を強いられている現状を打開する1冊。アーキテクトから保守管理者まで、仕様記述の仕組みが手に取るようにわかる。
目次 第1部 モデルとソフトウェア開発(VDM++でモデルを構築する:その概観;VDM++のツールサポート);第2部 VDM++によるオブジェクト指向システムのモデリング(データを定義する;機能を定義する ほか);第3部 モデリングの実践―3つのケーススタディ(モデルの構造化:エニグマ暗号機;ビューの統合:CSLaMシステム ほか);第4部 モデルから実装へ(VDM++による並行処理;モデルの品質 ほか)
ISBN(13)、ISBN 978-4-7981-1961-8   4-7981-1961-X
書誌番号 1110056396
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1110056396

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/14547 一般書 利用可 - 2044693308 iLisvirtual