VERIFICATION AND VALIDATION IN COMPUTATIONAL SCIENCE AND ENGINEERING