CSC 509
Lectures

• Week 1 -- introduction to the course; introduction to the design process
  
  
• Week 2 -- high-level inferno design; rolodex mvp design example
  
  
• Week 3 -- gun and camera tour of model/view design and stubbed implementation for the rolodex tool
  
  
• Week 4 -- individual design group meetings
  
  
• Weeks 5 and 6 -- MVP design discussion
  
  
• Week 7 -- guidelines for module coupling and cohesion
  
  
• Week 8 -- introduction to system testing
  
  
• Week 9 -- research in testing tools and techniques
  
  
• Week 10 -- introduction to formal program verification