Product Details
ISBN/Catalogue Number
:
ISBN 13 : 9784764904613
ISBN 10 : 4764904616
ISBN 10 : 4764904616
Format
:
Books
Release Date
:
May/2014
Content Description
目次 : 第1章 はじめに/ 第2章 オープンシステムディペンダビリティ/ 第3章 DEOS技術体系/ 第4章 合意形成と説明責任の遂行(D‐Case)/ 第5章 D‐Caseツール/ 第6章 D‐Case整合性検査ツールと形式アシュランスケース/ 第7章 DEOS実行環境(D‐RE)/ 第8章 D‐Case合意に基づくシステム運用の支援(D‐Script)/ 第9章 合意記述データベース(D‐ADD)/ 第10章 オープンシステムディペンダビリティの標準化/ 第11章 おわりに
(「BOOK」データベースより)
Customer Reviews
Recommend Items
Feedback
Missing or incorrect information?
Product information of this page .