Verification and validation in computational engineering and science: basic concepts