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 MS-CMPSCI students. LEC 01 AND 03 FOR UNDERGRADS; LEC 02 AND 04 FOR GRADS. SEATS HELD IN LEC 02 AND 04 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.