DEOS : 変化しつづけるシステムのためのディペンダビリティ工学
Author(s)
Bibliographic Information
DEOS : 変化しつづけるシステムのためのディペンダビリティ工学
近代科学社, 2014.5
- Other Title
-
Dependability engineering for open systems
- Title Transcription
-
DEOS : ヘンカ シツズケル システム ノ タメ ノ ディペンダビリティ コウガク
Access to Electronic Resource 1 items
Available at / 29 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: 各章末
Description and Table of Contents
Table of Contents
- 第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章 おわりに
by "BOOK database"