(3 credits)Prerequisites: CSCI 2210 and MATH 2710 or consent of the instructor. 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. (spring, alternate years)