|
" Achieving quality software : "
David J. Smith ; with a foreword by Paul W. Banks.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
774687
|
| Doc. No
|
:
|
b594682
|
| Main Entry
|
:
|
David J. Smith ; with a foreword by Paul W. Banks.
|
| Title & Author
|
:
|
Achieving quality software : : including its application to safety-related systems\ David J. Smith ; with a foreword by Paul W. Banks.
|
| Edition Statement
|
:
|
3rd ed
|
| Publication Statement
|
:
|
[Dordrecht] : Springer, ©1995.
|
| Page. NO
|
:
|
(x, 285 pages :) : illustrations
|
| ISBN
|
:
|
9401042438
|
|
|
:
|
: 9401105499
|
|
|
:
|
: 9789401042437
|
|
|
:
|
: 9789401105491
|
| Notes
|
:
|
Originally published by Chapman & Hall, 1995.
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer software -- Quality control.
|
| Subject
|
:
|
Software engineering.
|
| Added Entry
|
:
|
David J Smith
|
| |