CSC 307
Lectures

• Weeks 1 and 2 [ pdf , html ] -- introduction to software engineering, requirements analysis, and specification
  
  
• Week 3 [ pdf , html ] -- details of the requirements analysis process, including an excerpt from the milestone 4 example [ HTML , PDF ]
  
  
• Week 4 [ pdf , html ] -- requirements inspection testing introduction to requirements modeling
  
  
• Week 5 [ pdf , html ] -- introduction to formal specification
  
  
• Week 6 [ pdf , html ] -- gui design in java swing; the program design process; high-level design patterns;
  
  
• Week 7 [ pdf , html ] -- design for independent, incremental testing; refining model design using the java library; a key design pattern for 307 projects
  
  
• Week 8 [ pdf , html ] -- formal specs in testing; intro to testing techniques; testing implementation, in testng and junit
  
  
• Week 9 -- continuation of topics in Week 8 notes
  
  
• Week 10 [ pdf , html ] -- introduction to code coverage
  
  
• Week 9 [ pdf , html ] -- "design patterns"