Fundamentals of dependable computing for Software engineers

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive dependability-engineering process and explains the roles of software and software engineers in computer system dependability.

Detalles Bibliográficos
Otros Autores: Knight, John, eauthor (eauthor)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Boca Raton, FL : Chapman and Hall/CRC, an imprint of Taylor and Francis 2012.
Edición:1st edition
Colección:Chapman & Hall/CRC innovations in software engineering and software development.
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009628894906719
Tabla de Contenidos:
  • chapter 1 Introduction
  • chapter 2 Dependability Requirements
  • chapter 3 Errors, Faults, and Hazards
  • chapter 4 Dependability Analysis
  • chapter 5 Dealing with Faults
  • chapter 6 Degradation Faults and Software
  • chapter 7 Software Dependability
  • chapter 8 Software Fault Avoidance in Specification
  • chapter 9 Software Fault Avoidance in Implementation
  • chapter 10 Software Fault Elimination
  • chapter 11 Software Fault Tolerance
  • chapter 12 Dependability Assessment.