D. J. Smith

Engineering Quality Software

A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools

Buch

During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in… Mehr

CHF 165.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

V103: Folgt in ca. 5 Arbeitstagen

Produktdetails

Weitere Autoren: Wood, K. B.

ISBN: 978-94-010-6996-0
EAN: 9789401069960
Produktnummer: 15437310
Verlag: Springer Netherlands
Sprache: Englisch
Erscheinungsjahr: 2011
Seitenangabe: 304 S.
Masse: H21.6 cm x B14.3 cm x D1.6 cm 394 g
Auflage: 2nd ed. 1989. Softcover reprint of the original 2nd ed. 1989
Abbildungen: Paperback
Gewicht: 394

Über 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.