Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
