DEOS : 変化しつづけるシステムのためのディペンダビリティ工学
著者
書誌事項
DEOS : 変化しつづけるシステムのためのディペンダビリティ工学
近代科学社, 2014.5
- タイトル別名
-
Dependability engineering for open systems
- タイトル読み
-
DEOS : ヘンカ シツズケル システム ノ タメ ノ ディペンダビリティ コウガク
電子リソースにアクセスする 全1件
大学図書館所蔵 全29件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: 各章末
内容説明・目次
目次
- 第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データベース」 より