Open systems dependability : dependability engineering for ever-changing systems /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Boca Raton, FL :
CRC Press,
[2015]
|
| Edition: | Second edition. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Front Cover; Open Systems Dependability: Dependability Engineering For Ever-changing Systems, Second Edition; Preface; Acknowledgements; Contents; Authors Per Chapter/section; Chapter 1 Introduction; Chapter 2 Open Systems Dependability; Chapter 3 The Deos Technological System; Chapter 4 D-case -building Consensus And Achieving Accountability; Chapter 5 D-case Tools; Chapter 6 D-case Integrity Checking Tool And Formal Assurance Case; Chapter 7 D-re -the Deos Runtime Environment; Chapter 8 D-script -support For System Operation Based On D-case Agreements
- Chapter 9 D-add -the Agreement Description DatabaseChapter 10 Standardization Of Open Systems Dependability; Chapter 11 Conclusions; Appendix; List Of Authors; Back Cover