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

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 comprehensive but simple example in order to illustrate clearly the functions of each a...