Cargando…

Open systems dependability : dependability engineering for ever-changing systems /

The book describes a fundamentally new approach to software dependability, considering a software system as an ever-changing system due to changes in service objectives, users' requirements, standards and regulations, and to advances in technology. Such a system is viewed as an Open System sinc...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Tokoro, Mario (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boca Raton, FL : CRC Press, [2015]
Edición:Second edition.
Temas:
Acceso en línea:Texto completo
Texto completo
Tabla de Contenidos:
  • 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.