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
Otros Autores: Tokoro, Mario, 1947- (-)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Boca Raton, Fla. : CRC Press 2013.
Edición:2nd ed
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009629791606719
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 Database""; ""Chapter 10 Standardization Of Open Systems Dependability""; ""Chapter 11 Conclusions""; ""Appendix""; ""List Of Authors""; ""Back Cover""