| ISBN |
4-7981-1961-8
|
| ISBN13桁 |
978-4-7981-1961-8
|
| タイトル |
VDM++によるオブジェクト指向システムの高品質設計と検証
|
| タイトルカナ |
ブイディーエム プラスプラス ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ
|
| タイトル関連情報 |
仕様の品質を飛躍的に高める手法
|
| タイトル関連情報読み |
シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ
|
| 著者名 |
ジョン・フィッツジェラルド
／著,
ピーター・ゴルム・ラーセン
／著,
ポール・マッカージー
／著,
ニコ・プラット
／著,
マーセル・バーホフ
／著,
酒匂寛
／訳
|
| 著者名典拠番号 |
120002146550000
,
120002146560000
,
120002569060000
,
120002569070000
,
120002569080000
,
110001287820000
|
| 出版地 |
[東京]
|
| 出版者 |
翔泳社
|
| 出版者カナ |
ショウエイシャ
|
| 出版年 |
2010.8
|
| ページ数 |
20, 416p
|
| 大きさ |
23cm
|
| シリーズ名 |
IT Architects' Archive
|
| シリーズ名のルビ等 |
アイティー アーキテクツ アーカイヴ
|
| シリーズ名２ |
ソフトウェア開発の実践
|
| シリーズ名読み２ |
ソフトウェア カイハツ ノ ジッセン
|
| 都立翻訳原書名注記 |
原タイトル:Validated designs for object-oriented systems
|
| 価格 |
5480
|
| 内容紹介 |
形式仕様記述言語VDM++を用いて開発対象システムを厳密に記述し、コンピュータシステムに対する信頼性や安全性などの確認や検証を行う方法を具体例を基に解説。オブジェクト指向の概念を取り入れたシステム設計法も示す。
|
| 書誌・年譜・年表 |
文献:p399〜401
|
| 一般件名 |
システム設計,オブジェクト指向プログラミング
|
| 一般件名カナ |
システムセッケイ,オブジェクトシコウプログラミング
|
| 一般件名 |
ソフトウェア工学
,
オブジェクト指向
|
| 一般件名カナ |
ソフトウェア コウガク,オブジェクト シコウ
|
| 一般件名典拠番号 |
511743600000000
,
510126900000000
|
| 分類：都立NDC10版 |
007.63
|
| テキストの言語 |
日本語
|
| 原文の言語 |
英語
|
| 資料情報1 |
『神と仏の古代史』 上田 正昭／著
吉川弘文館 2009.12（所蔵館：中央
請求記号：/162.1/5084/2009
資料コード：5017513717）
|
| URL |
https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1107955833 |
