DEOS : 変化しつづけるシステムのためのディペンダビリティ工学

Author(s)

• 所, 真理雄 トコロ, マリオ

Bibliographic Information

DEOS : 変化しつづけるシステムのためのディペンダビリティ工学

所眞理雄編

近代科学社, 2014.5

Other Title

Dependability engineering for open systems

Title Transcription

DEOS : ヘンカ シツズケル システム ノ タメ ノ ディペンダビリティ コウガク

Access to Electronic Resource 1 items

• DEOS 変化しつづけるシステムのためのディペンダビリティ工学

  2014.5.

  Maruzen eBook Library

Note

参考文献: 各章末

Description and Table of Contents

Table of Contents

• 第１章　はじめに
• 第２章　オープンシステムディペンダビリティ
• 第３章　ＤＥＯＳ技術体系
• 第４章　合意形成と説明責任の遂行（Ｄ‐Ｃａｓｅ）
• 第５章　Ｄ‐Ｃａｓｅツール
• 第６章　Ｄ‐Ｃａｓｅ整合性検査ツールと形式アシュランスケース
• 第７章　ＤＥＯＳ実行環境（Ｄ‐ＲＥ）
• 第８章　Ｄ‐Ｃａｓｅ合意に基づくシステム運用の支援（Ｄ‐Ｓｃｒｉｐｔ）
• 第９章　合意記述データベース（Ｄ‐ＡＤＤ）
• 第１０章　オープンシステムディペンダビリティの標準化
• 第１１章　おわりに

by "BOOK database"

• NCID: BB15866779
• ISBN:
  • 9784764904613
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: x, 250p
• Size: 27cm
• Classification:
  • NDC8 : 007.61
  • NDC9 : 007.61
• Subject Headings:
  • BSH : システム設計
  • BSH : 信頼性(工学)