Course Syllabus
The following is a tentative list of topics to be covered during the course, in their approximate order of coverage. The syllabus is subject to change throughout the semester.

• The software crisis
• The historical context for Software Engineering
• The fundamental characteristics of software
• An overview of software processes
• Process maturity measurement
• Software process models
• Requirements analysis
• Analysis modeling
• Software design
• Design modeling
• Formal specifications
• Reasoning about software analytically
• Software verification
• Software testing
• Software design patterns
• Selected hot topics