Stock image for illustration purposes only - book cover, edition or condition may vary.
Engineering Quality Software
Smith, D. J.; Wood, K. B.
€ 118.77
FREE Delivery in Ireland
Description for Engineering Quality Software
Paperback. Num Pages: 284 pages, biography. BIC Classification: THR. Category: (P) Professional & Vocational. Dimension: 216 x 143 x 16. Weight in Grams: 393.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer Netherlands
Number of pages
284
Condition
New
Number of Pages
284
Place of Publication
Dordrecht, Netherlands
ISBN
9789401069960
SKU
V9789401069960
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Smith, D. J.; Wood, K. B.
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 ... Read more
Reviews for Engineering Quality Software