Engineering Quality Software - A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools (Paperback, 2nd ed. 1989. Softcover reprint of the original 2nd ed. 1989)

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.

General

Imprint:	Springer
Country of origin:	Netherlands
Release date:	October 2011
First published:	1989
Authors:	D. J Smith • K. B. Wood
Dimensions:	216 x 143 x 16mm (L x W x T)
Format:	Paperback
Pages:	284
Edition:	2nd ed. 1989. Softcover reprint of the original 2nd ed. 1989
ISBN-13:	978-9401069960
Categories:	Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General Promotions
LSN:	9401069964
Barcode:	9789401069960

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!