著者・出版社・関連アーティスト
関連記事
収録内容
1 | 第1章 はじめに |
2 | 第2章 オープンシステムディペンダビリティ |
3 | 第3章 DEOS技術体系 |
4 | 第4章 合意形成と説明責任の遂行(D‐Case) |
5 | 第5章 D‐Caseツール |
6 | 第6章 D‐Case整合性検査ツールと形式アシュランスケース |
7 | 第7章 DEOS実行環境(D‐RE) |
8 | 第8章 D‐Case合意に基づくシステム運用の支援(D‐Script) |
9 | 第9章 合意記述データベース(D‐ADD) |
10 | 第10章 オープンシステムディペンダビリティの標準化 |
11 | 第11章 おわりに |