「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
- カテゴリ:一般
- 発行年月:2010.8
- 出版社: 翔泳社
- サイズ:23cm/416p
- 利用対象:一般
- ISBN:978-4-7981-1961-8
- 国内送料無料
紙の本
VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法 (IT Architects’ Archive ソフトウェア開発の実践)
著者 ジョン・フィッツジェラルド (著),ピーター・ゴルム・ラーセン (著),ポール・マッカージー (著),ニコ・プラット (著),マーセル・バーホフ (著),酒匂 寛 (訳)
形式仕様記述言語VDM++を用いて開発対象システムを厳密に記述し、コンピュータシステムに対する信頼性や安全性などの確認や検証を行う方法を具体例を基に解説。オブジェクト指向...
VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法 (IT Architects’ Archive ソフトウェア開発の実践)
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
形式仕様記述言語VDM++を用いて開発対象システムを厳密に記述し、コンピュータシステムに対する信頼性や安全性などの確認や検証を行う方法を具体例を基に解説。オブジェクト指向の概念を取り入れたシステム設計法も示す。【「TRC MARC」の商品解説】
著者紹介
ジョン・フィッツジェラルド
- 略歴
- 〈ジョン・フィッツジェラルド〉英ニューカッスル大学コンピューティングサイエンス学部教授。
〈ピーター・ゴルム・ラーセン〉デンマークのオーフス大学工学部の形式手法グループの長を務める。
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む