(3 credits)Prerequisites: Full admission to the ACS concentration or instructor’s permission.
This course addresses the theory and practice of ensuring high-quality software products. Topics covered include quality assessment, proof of correctness, testing, and limitations of verification and validation methods.