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

Smith, D.J.

Hardcover

ISBN 10: 041262270X ISBN 13: 9780412622700

Verlag: Springer, 1995

Inhaltsangabe

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.

Über diesen Titel

Über die Autorin bzw. den Autor

David J. Smith, past Chairman of the Safety and Reliability Society is the author of six successful works on reliability, quality, software and statistics. He has been directly associated with this branch of engineering, in the process and telecommunications industries, for over 20 years and is well known for his courses and workshops on these subjects. He currently runs his own consultancy.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 1995
• Sprache: Englisch
• ISBN 10: 041262270X
• ISBN 13: 9780412622700
• Einband: Gebundene Ausgabe
• Auflage: 3
• Anzahl der Seiten: 287
• Kontakt zum Hersteller: Dt. Universitätsverlag; buchhandel-buch@springer.com; ; Abraham-Lincoln-Str. 46; Wiesbaden; 65198; Deutschland