Computer Science 520 - Thry & Practice/Software Engin

Introduces students to the principal activities involved in developing high-quality software systems, including recent state-of-the-art advances. Topics include: requirements analysis, formal specification methods, software design, testing, program analysis, and automated software engineering.

Open to MS-CMPSCI students. LECT 01 FOR UNDERGRADS; LECT 02 FOR GRADS. SEATS HELD IN LECT 02 FOR INCOMING GRAD STUDENT REGISTRATION. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cics.umass.edu/overrides.