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

Smith, D.J.

 
9780412622700: Achieving Quality Software: Including Its Application to Safety-Related Systems
Tapa dura
ISBN 10: 041262270X ISBN 13: 9780412622700
Editorial: Springer, 1995

Sinopsis

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 in requirements. 9. Formal methods in design. 10. Review and test. 11. Static analysis. 12. Languages and their processors. 13. Achieving fault tolerance in design. Part Four: Management issues. 14. Software management issues. 15. Metrics and modelling. Part 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. Index.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Biografía del 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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
1995
Idioma
Inglés
ISBN 10 
041262270X
ISBN 13 
9780412622700
Encuadernación
Tapa dura
Número de edición
3
Número de páginas
304
Contacto del fabricante
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  9401042438 ISBN 13:  9789401042437
Editorial: Springer, 2012
Tapa blanda