Fundamentals of Dependable Computing for Software Engineers

This book helps software and computer engineers construct software systems that are dependable and within budget and time constraints. Covering the conceptual and definitional structure of the subject, the author describes the computing platforms upon which critical applications operate and how these platforms affect software. He discusses the difficulties in software engineering that lead to software failures and presents rigorous techniques that can greatly improve the quality of software and are becoming available for even large software systems.