Lecture 8, Outline [approximate minutes]

• Approaches for quality assurance [15]

• Proofs of correctness [30]

• Reviews, inspections, etc. [30]

• Break [10]

• Statistically-based approaches [45]

• Wrap-up [10]

• Next week

  • PSP, CMM, ISO 9000
  • Testing
  • What’s hot in software engineering research

Previous slide

Next slide

Back to first slide

View graphic version