Computer Science 520 - SoftwareEngin:Synthesis&Devlpm

Introduces students to the principal activities involved in developing high-quality software systems. Topics include: requirements analysis, formal specification methods, process definition, software design, and risk management.

Open to junior and senior CMPSCI students who have completed CMPSCI 320 with a grade of 'C' or better. LECT 01 FOR UNDERGRADS; LECT 02 FOR GRADS. MEETS WITH CMPSCI 620. CS MINORS, APPLICANTS-ON-CONTRACT, AND OTHERS NOT MEETING ELIGIBILITY, OR STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cs.umass.edu/overrides.