Verification and Validation in Computational Science and Engineering

This book covers modern approaches to Verification and Validation of computer codes, and other topics related to Quantification of Uncertainty and code Quality Assurance. Especially noteworthy are the Method of Manufactured Solutions, a general method for obtaining exact solutions for use in code Verifications, and the Grid Convergene Index, a method for uniform reporting of grid convergence tests. The methods and issues are applicable to commercial codes as well as to in-house developed research codes, and to all problems modeled by partial differential equations; examples include Computational Fluid Dynamics, groundwater flow and transport modeling, electrodynamics, etc. The book provides useful formulas and practical guidance for error estimation and for experimental Validation.