عنوان
پدید آورنده
موضوع
رده
QA 76.76 .A35 1995
QA
76
.
76
.
A35
1995
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
electronic
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Smith, David J. )David John(
Title Proper by Another Author
3491
Title Proper
Achieving quality software : including its application to safety-related systems
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Chapman & Hall
Date of Publication, Distribution, etc.
1995
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 285 p : ill ; 24 cm
GENERAL NOTES
Text of Note
Includes bibliography and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
David J. Smith ; with a foreword by Paul W. Banks
NOTES PERTAINING TO RESPONSIBILITY
Text of Note
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.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Software engineering
Entry Element
، Computer software -- Quality control
Entry Element
، System safety
Entry Element
، Software -- Quality control
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
A35
1995
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
NO
