Achieving Quality Software: Including its Application to Safety-related Systems - Hardcover

Smith, D.J.

 
9780412622700: Achieving Quality Software: Including its Application to Safety-related Systems

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

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.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  9401042438 ISBN 13:  9789401042437
Publisher: Springer, 2012
Softcover