TOP > 情報工学
 □ ニュースリリース
コミュニケーション・
情報リテラシー
工学一般
情報工学
電子工学
数学
物理学
ビジネス・経済
建築・都市計画
科学一般
公立はこだて未来大学出版会
発行
ナノオプト発行
弊社の書籍はお近くの書店・大学生協でお求めいただけます。店頭にない場合はお店からお取り寄せもできます。また、インターネットでもご購入いただけますので各販売サイトをご覧ください。
  サポート
   正誤表、授業用の教材などが
   あります
  地図(インプレスグループ)
   Google Map


株式会社 近代科学社

〒162-0843
東京都新宿区市谷田町2-7-15
TEL : 03-3260-6161
FAX : 03-3260-6059

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

book

発売日:2014年5月28日
定価:本体5,500円+税

紀伊國屋書店で注文
アマゾンで注文

 

変化し、長期運用するシステムの信頼性を確保する!

 本書は,現代社会において,変化しつつ長期的に運用される巨大で複雑な複合システムに対し,いかにしてその不具合を減らし,重大事故を防ぎ,信頼性を保ちつつ運用を継続していくかについて体系的に議論した初めての技術書である.
 機能や構造,その境界が変化するシステムは通常「オープンシステム」と呼ばれる.我々はこのための技術体系を「オープンシステムのためのディペンダビリティ工学」,英文で“Dependability Engineering for Open Systems”,その略称をDEOS(デオス) と呼んでいる.
 システム開発・保守・運用に従事する技術者,研究者に必携の書である.

 
編著 所 眞理雄
(株)ソニーコンピュータサイエンス研究所 
エグゼクテイブ・アドバイザー/ファウンダー)
ページ数 264
サイズ B5
ISBN 978-4-7649-0461-3
     
主要目次
  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. おわりに
トップへ
 
本サイトのご利用についてお問合せプライバシーについて | 会社概要 | インプレスグループサイト | インプレスグループTop |
 Copyright © 2016 Kindai kagaku sha Co.,Ltd, an Impress Group company. All rights reserved.