COMPSCI 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.
Prerequisites & course information
Antirequisite(s): Software Engineering 4452A/B, the former Software Engineering 4453A/B. Prerequisite(s): Computer Science 3307A/B/Y Extra Information: 3 lecture hours. Course Weight: 0.50
Sources
- Course catalogue ↗2026-2027