CSCI 350 - Software Engineering
Spring 2009
Lecture Notes
Use cases
Requirements Document
Formal Specification
Incremental Development
Design by Contract
Automated Testing
Software Inspections