Methods, Models and Tools for Fault Tolerance: 5454 (Lecture Notes in Computer Science) - Tapa blanda

 
9783642008665: Methods, Models and Tools for Fault Tolerance: 5454 (Lecture Notes in Computer Science)
Tapa blanda
ISBN 10: 3642008666 ISBN 13: 9783642008665
Editorial: Springer, 2009

Sinopsis

The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007.

"Sinopsis" puede pertenecer a otra edición de este libro.

De la contraportada

The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods together with fault-tolerant design techniques help to achieve this. Therefore, there is a clear need for methods that enable rigorous modeling and the development of complex fault-tolerant systems.

This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007. The authors of the best workshop papers were asked to enhance and expand their work, and a number of well-established researchers working in the area contributed invited chapters in addition. From the 15 refereed and revised papers presented, 12 are versions reworked from the workshop and 3 papers are invited. The articles are organized in four topical sections on: formal reasoning about fault-tolerant systems and protocols; fault tolerance: modelling in B; fault tolerance in system development process; and fault-tolerant applications.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2009
Idioma
Inglés
ISBN 10 
3642008666
ISBN 13 
9783642008665
Encuadernación
Tapa blanda
Número de páginas
352
Editor
Butler Michael, Jones Cliff B., Romanovsky Alexander, Troubitsyna Elena
Contacto del fabricante
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Alemania

Otras ediciones populares con el mismo título

9783642008689: Methods, Models and Tools for Fault Tolerance

Edición Destacada

ISBN 10:  3642008682 ISBN 13:  9783642008689
Editorial: Springer, 2009
Tapa blanda