Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools - Brossura

Smith, D.J.; Wood, K.B.

 
9789401069960: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools
Brossura
ISBN 10: 9401069964 ISBN 13: 9789401069960
Casa editrice: Springer, 2011

Sinossi

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 Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
9401069964
ISBN 13 
9789401069960
Rilegatura
Copertina flessibile
Numero edizione
2
Numero di pagine
304
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9781851660742: Engineering Quality Software

Edizione in evidenza

ISBN 10:  1851660747 ISBN 13:  9781851660742
Casa editrice: Elsevier Applied Science, 1987
Rilegato