This edition provides a comprehensively updated and enhanced review of current quality methods and standards. It outlines causes of failure, current practice and standards, and suggests an ideal approach to software control at each stage of the design cycle.

This edition provides a comprehensively updated and enhanced review of current quality methods and standards. It outlines causes of failure, current practice and standards and suggests an ideal approach to software control at each stage of the design cycle. The emphasis of this new edition has shifted towards safety critical software. This book should be of interest to systems designers, software engineers, and safety and reliability engineers.

Part 1 The background to software engineering and quality: the meaning of quality in software
software failures and life-cycle
integrity and the safety life-cycle. Part 2 Guidance, legislation and liability: legislation and liability
current standards and guidelines
certification and competence. Part 3 Achieving software quality
the traditional approach
formal methods in requirements
formal methods in design
review and test
static analysis
languages and processors
achieving fault tolerance in design. Part 4 Management issues: software management issues
metrics and modelling. Part 5 Case study: software system design exercise - addressable detection system. Checklists.