Methods, Models and Tools for Fault Tolerance

• Corporate Author: SpringerLink (Online service)
• Other Authors: Butler, Michael (Editor), Jones, Cliff (Editor), Romanovsky, Alexander (Editor), Troubitsyna, Elena (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Series: Lecture Notes in Computer Science, 5454
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer Science.; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Operating Systems.

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 toge...