عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9401042438
(Number (ISBN
9401105499
(Number (ISBN
9789401042437
(Number (ISBN
9789401105491
NATIONAL BIBLIOGRAPHY NUMBER
Number
b594682
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Achieving quality software :
General Material Designation
[Book]
Other Title Information
including its application to safety-related systems
First Statement of Responsibility
David J. Smith ; with a foreword by Paul W. Banks.
EDITION STATEMENT
Edition Statement
3rd ed
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
[Dordrecht]
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
©1995.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(x, 285 pages :) : illustrations
GENERAL NOTES
Text of Note
Originally published by Chapman & Hall, 1995.
CONTENTS NOTE
Text of Note
One The Background to Software Engineering and Quality --; 1 The meaning of quality in software --; 2 Software failures and the life cycle --; 3 Integrity and the safety life cycle --; Two Guidance, Legislation and Liability --; 4 Legislation and liability --; 5 Current standards and guidelines --; 6 Certification and competence --; Three Achieving Software Quality --; 7 The traditional approach --; 8 Formal methods in requirements --; 9 Formal methods in design --; 10 Review and test --; 11 Static analysis --; 12 Languages and processors --; 13 Achieving fault tolerance in design --; Four Management Issues --; 14 Software management issues --; 15 Metrics and modelling --; Five Case Study --; 16 Software system design exercise --; addressable detection system --; Appendix 1 Checklists --; Appendix 2 Glossary of terms and abbreviations --; Appendix 3 Bibliography and references.
SUMMARY OR ABSTRACT
Text of Note
The third edition of the highly successful Achieving Quality Software provides a concise and readable description of the main quality issues which arise in the use of software, particularly in safety-related applications. Current safety principles are described using the `safety life-cycle'. A full picture of current guidance and standards is given. The traditional methods used to enhance software quality are detailed and their limitations emphasized. Tools and techniques are fully explained. Documentation control, languages and programming standards, review, test, static analysis and fault tolerance are all covered. Moreover, formal mathematical methods are addressed, with examples, and their benefits and limitations are explained; the controversial areas of metrics and failure rate measurement are outlined; comprehensive checklists and a case study are provided, together with a glossary and bibliography; a fully worked example of source code static analysis is provided. Achieving Quality Software is suitable for all engineers involved with programmable safety-related systems, especially hardware design engineers and software engineers. Not only quality and design engineers in software-related organizations, but graduate students on software and safety and reliability courses will find this book invaluable.
TOPICAL NAME USED AS SUBJECT
Computer software -- Quality control.
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
David J. Smith ; with a foreword by Paul W. Banks.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
David J Smith
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
