|
ゲスト さん （ログイン） |
|
|
ゲスト さん （ログイン） |
|
オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料！新刊予約・通販も。本（書籍）、雑誌、漫画（コミック）、洋書など在庫も充実
本好きのためのオンライン書店
Honya Club.comは日本出版販売株式会社が運営している
インターネット書店です。ご利用ガイドはこちら
 |
 |
のマークが目印です。
HonyaClub会員規約個人情報の取扱いに関する規程
[BOOKデータベースより]
本書では、分散システムの耐故障化技術、形式的設計検証技術、および、テスト技術の三つのテーマについて、最近の技術をカバーしつつ、大学院レベルの教科書、あるいは、研究者の参考書として使えるように、わかりやすく解説することを目指した。
第１章 基礎概念（ディペンダブルなシステムとは；用語 ほか）
[日販商品データベースより]第２章 誤り検出とマスクによる耐故障化技術（静的マスク；動的マスク ほか）
第３章 分散システムのフォールトトレランス（分散システムのモデル；合意問題 ほか）
第４章 形式的設計検証技術（基本概念；ＣＴＬモデル検証 ほか）
第５章 テスト技術（テストとは；故障モデル ほか）
情報系学生（上級生）やハードウェア設計に携わる企業人を対象に、ディペンダブルシステムの基礎概念から、実際に実務現場で必要となり、かつ知っておくと役立つ技術、最新技術を中心にまとめた。多重化、多様化、高速化するシステムを構築・設計するためには欠かせない技術である。
※ディペンダブルシステム＝フォールトトレラントシステム（耐故障性システム）（故障が及ぼす影響を阻止し、高い信頼性を持つ（フォールトトレラント）システム）