CSC 309
Lectures

• Week 1 -- introduction to the course; introduction to the design process
  
  
• Week 2 -- general design principles; high-level design patterns details of specification-to-design refinement
  
  
• Week 3 -- more on model/view design; design for independent and incremental testing; refining a derived model design using the java library
  
  
• Week 4 -- formal method specification and its use in testing; introduction to system testing techniques
  
  
• Week 5 -- testing implementation
  
  
• Weeks 6 and 7 -- design refinement; introduction to code coverage measures
  
  
• Week 8 -- administrative matters; code coverage; acceptance testing
  
  
• Week 9 -- introduction to "classic" design patterns
  
  
• Week 10 -- introduction to formal verification
  
  
  
• Slides -- lecture slides as presented in class.