Western University Academic Calendar. - 2021ARCHIVE
Computer Science 4472A/B
SPECIFICATION TESTING AND QUALITY
Concepts and state of the art techniques in software specification and quality assessment for software engineering; quality attributes; formal specification and analysis; verification and validation.