Achieving Quality Software
Autor D. J. Smithen Limba Engleză Paperback – 10 noi 2012
Preț: 376.77 lei
Puncte Express: 565
Preț estimativ în valută:
66.57€ • 77.17$ • 58.06£
66.57€ • 77.17$ • 58.06£
Carte tipărită la comandă
Livrare economică 15-29 mai
Specificații
ISBN-13: 9789401042437
ISBN-10: 9401042438
Pagini: 304
Ilustrații: XIII, 287 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:Third Edition 1995
Editura: Springer
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9401042438
Pagini: 304
Ilustrații: XIII, 287 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:Third Edition 1995
Editura: Springer
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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.
Notă biografică
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.