変化しつづけるシステムのためのディペンダビリティ工学 --
所眞理雄 /編   -- 近代科学社 -- 2014.5 -- 27cm -- 250p

資料詳細

タイトル DEOS
副書名 変化しつづけるシステムのためのディペンダビリティ工学
著者名等 所眞理雄 /編  
出版 近代科学社 2014.5
大きさ等 27cm 250p
分類 548.2
件名 組み込みシステム
注記 索引あり
著者紹介 (株)ソニーコンピュータサイエンス研究所エグゼクテイブ・アドバイザー/ファウンダー
内容紹介 変化しつつ長期的に運用される複雑なシステムの重大事故をいかに防ぎ、信頼性を保ちつつ、運用を継続していくかについて、体系的にまとめた初めての書。
目次 第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章 おわりに
ISBN(13)、ISBN 978-4-7649-0461-3   4-7649-0461-6
書誌番号 1113165933
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113165933

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 4階自然科学 Map 情報科学 548.2 一般書 利用可 - 2052533182 iLisvirtual