Fundamental concepts and methods for verification and validation of software work products; software reviews; software inspection, software testing; software problem analysis and reporting