Computer Science 520 - Thry & Practice/Software Engin

Introduces students to the principal activities and state-of-the-art techniques involved in developing high-quality software systems. Topics include: requirements engineering, formal specification methods, design principles & patterns, verification & validation, debugging, and automated software engineering.

Open to junior and senior Computer Science students who have complete COMPSCI 320 (or COMPSCI 220 and 326) with a grade of C or better. LEC 01 for undergrads; LEC 02 for grads. Seats held in LEC 02 for incoming grad student registration. Students needing special permission must request overrides via the on-line form: https://www.cics.umass.edu/academics/course-overrides.