Achieving Quality Software: Including Its Application to Safety-Related Systems

by David J. Smith

Foreword. Preface. Acknowledgements. Part 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. Part Two: Guidance, legislation and liability. 4. Legislation and liability. 5. Current standards and guidelines. 6. Certification and competence. Part Three: Achieving quality software. 7. The traditional approach. 8. Formal methods...

• Format: Paperback
• Language: English
• ISBN: 041262270X
• ISBN13: 9780412622700
• Release Date: June 1995
• Publisher: Chapman & Hall
• Length: 304 Pages
• Weight: 1.33 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"