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

著者

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

書誌事項

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

所眞理雄編

近代科学社, 2014.5

タイトル別名

Dependability engineering for open systems

タイトル読み

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

注記

参考文献: 各章末

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB15866779
• ISBN:
  • 9784764904613
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: x, 250p
• 大きさ: 27cm
• 分類:
  • NDC8 : 007.61
  • NDC9 : 007.61
• 件名:
  • BSH : システム設計
  • BSH : 信頼性(工学)