This course emphasizes the importance of quality when developing software systems. Topics include design for reuse, formal specification, applications of software testing, and maintenance of evolving ...