Homepage Introduction Syllabi Description Þ Prerequisites Þ Exams & Assignmts Grading Readings Topics/Outcomes Learning Outcomes Topics Class Materials Announcements Calendar Readings Lecture Notes [PDF] Assignments

Course Description This course introduces students to the principal activities involved in developing high-quality software systems, and in particular web services applications.  The course stresses the use of defined, systematic processes in the creation of carefully defined and engineered software products. Among the topics covered are requirements analysis, software architecture, formal specification methods, process definition, software design methods, software analysis and testing, and test planning.  Issues specific to the development of software by teams and groups will also be addressed.  Students will be required to read selected papers from the literature and complete homework and a multi-stage project. This course replaces and combines portions of CMPSCI 520 and 521 (as they were offered in previous semesters) and will focus on both software synthesis qand analysis techniques. Prequisites CMPSCI 320 or equivalent, (e.g., ECE 397B ST-Software Engr) or consent of instructor. Contacts Professor Rick Adrion, 310 Computer Science Bldg (413) 545-2475 adrion@cs.umass.edu Rick's Assistant: Wendy Cooper, 312 Computer Science Bldg (413) 545-2492 cooper@cs.umass.edu TA: To be named (413) FAX for Wendy and Rick (413) 545-3729

Last Updated: 8/12/08 6:56 PM By Rick Adrion Copyright © 2008