عنوان
پدید آورنده
موضوع
رده
QA 76.76 .A35 1995
QA
76
.
76
.
A35
1995
کتابخانه
محل استقرار
electronic
Smith, David J. )David John(
3491
Achieving quality software : including its application to safety-related systems
London
Chapman & Hall
1995
x, 285 p : ill ; 24 cm
Includes bibliography and index
David J. Smith ; with a foreword by Paul W. Banks
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.
، Software engineering
، Computer software -- Quality control
، System safety
، Software -- Quality control
QA
76
.
76
.
A35
1995
AU
NO
