Lecture slides are posted in the order they will be covered in class. All slides are in PDF format, with 1 slide per page.
Slides
Course Information/Introduction to Software Engineering
Requirements Elicitation (added 9/16/09)
Analysis (Specification Development)
Implementation: Mapping Models to Code
System Safety and Hazard Analysis
Other (Optional) Readings
Why Software Sucks (and what to do about it), Scott Berkun
Software Processes are Software Too, Leon J. Osterweil
We Will Not Ship Sh*t, Robert C. Martin
Controlled-Chaos Software Development (from the official Scrum Web site, http://www.controlchaos.com)
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Systems, Butler & Finelli (why exhaustive testing doesn't always work)
Symbolic Model Checking: 1020 States and Beyond, Burch et al. (the difficulty of automated program verification -- WARNING: this is a very technical paper)
Literate Programming resources: http://www.literateprogramming.com