Software Verification and Validation

An Engineering and Scientific Approach

This book is an in-depth technical reference providing methods and techniques for building and maintaining confidence in system software, helping to answer such critical questions as: 1) Are we building the right software? and 2) Are we building the software right?

Related Titles

The world needs an in-depth technical book describing the methods and techniques used to provide confidence in our system software. In today’s market, not only are governments more focused on software safety, but private industry and academia are as well. The methods and techniques used to provide such confidence is commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a technical professional book, performs software verification and validation on high-fidelity systems. This book includes crucial information for methods and techniques that not only develop the system, but ensure that the system was developed correctly. Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. This book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.