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

• 資料種別: 図書
• ISBN: 978-4-7649-0461-3
• タイトル: DEOS : 変化しつづけるシステムのためのディペンダビリティ工学
• タイトルよみ: ディーイーオーエス : ヘンカ シツズケル システム ノ タメ ノ ディペンダビリティ コウガク
• 著者・編者: 所眞理雄 編
• 著者標目: 所, 真理雄, 1947- トコロ, マリオ, 1947- ( 00108339 )典拠
• 出版事項: 東京 : 近代科学社
• 出版年月日等: 2014.5
• 出版年（W3CDTF）: 2014
• 数量: 250p
• 大きさ: 27cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: システム開発 システムカイハツ ( 00679589 )典拠; 信頼性 (工学) シンライセイ (コウガク) ( 00571098 )典拠
• NDC9版: 007.61 : 情報科学
• NDLC: M159
• 対象利用者: 一般
• 書誌注記: 索引あり
• 入手条件・定価: 5500円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-L416
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 025441980; http://id.ndl.go.jp/bib/025441980
• 全国書誌番号: 22417153
• トーハンMARC番号: 33098258
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: 変化しつつ長期的に運用される複雑なシステムの重大事故を防ぎ信頼性を保ち運用を継続していくかについて体系的にまとめた初めての書（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 所 眞理雄 （株）ソニーコンピュータサイエンス研究所 エグゼクテイブ・アドバイザー/ファウンダー（提供元: 出版情報登録センター（JPRO））

目次

第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章　おわりに