資料詳細

  • 1 件中、 1 件目

VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法

ジョン・フィッツジェラルド/著 ピーター・ゴルム・ラーセン/著

翔泳社 2010.8 (IT Architects' Archive)

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 4F書庫 4Y/007.6/ﾌｲ/ 1106232810 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

タイトル VDM++によるオブジェクト指向システムの高品質設計と検証
副書名 仕様の品質を飛躍的に高める手法
叢書名 IT Architects' Archive , ソフトウェア開発の実践
著者 ジョン・フィッツジェラルド /著 ピーター・ゴルム・ラーセン /著 ポール・マッカージー /著 ニコ・プラット /著 マーセル・バーホフ /著 酒匂 寛 /訳  
出版者 翔泳社
出版年 2010.8
ページ数 416p
大きさ 23cm
一般件名 ソフトウェア工学 , オブジェクト指向
NDC分類(9版) 007.63
内容紹介 形式仕様記述言語ＶＤＭ＋＋を用いて開発対象システムを厳密に記述し、コンピュータシステムに対する信頼性や安全性などの確認や検証を行う方法を具体例を基に解説。オブジェクト指向の概念を取り入れたシステム設計法も示す。
ISBN 4-7981-1961-8
定価 ¥5480

ページの先頭へ