Computer Science 520 - SoftwareEngin:Synthesis&Devlpm

Spring
2013
01
3.00
Leon Osterweil

TU TH 9:30AM 10:45AM

UMass Amherst
13711
13716
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 Seniors, Juniors and Graduate students only. Prereq:UG'sCMPSCI320/ECE373wC Meets with CMPSCI 620

Permission is required for interchange registration during all registration periods.