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