Sinopsis
High integrity software is required for those systems whose failure as a result of software error would have unacceptable consequences, either because of the loss of assets, or because of the threat to life. The extra reliability required for high-integrity systems is provided by paying particular attention to critical areas of the design, by the use of specialized techniques including software verification, by exerting controls during production and maintenance, by extensive testing and by independent review. The aim of the book is to give practical guidance on the use of existing and developing techniques, some appreciation of relative merits and of how techniques may be used in combination. It also provides surveys of the existing literature. The chapters come from both professional and academic authorities and constitute essential reading for professional software engineers and technical managers in civil and military establishments.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
High integrity software is required for those systems whose failure as a result of software error would have unacceptable consequences, either because of the loss of assets, or because of the threat to life. The extra reliability required for high-integrity systems is provided by paying particular attention to critical areas of the design, by the use of specialized techniques including software verification, by exerting controls during production and maintenance, by extensive testing and by independent review. The aim of the book is to give practical guidance on the use of existing and developing techniques, some appreciation of relative merits and of how techniques may be used in combination. It also provides surveys of the existing literature. The chapters come from both professional and academic authorities and constitute essential reading for professional software engineers and technical managers in civil and military establishments.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para High Integrity Software (Computer Systems Series)
Imagen de archivo
High Integrity Software (Computer Systems Series)
Librería: Reuseabook, Gloucester, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Used; Very Good. Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine. Nº de ref. del artículo: CHL10791311
Comprar usado
EUR 3,57
Envío por EUR 11,55
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles