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
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )