Lecture Notes

You will find the lecture notes here.

• 01/19: Introduction to CS 5383 [intro-cs5383.ppt] [correctness.txt]
  
  
• 01/21: Cleanroom and states as function transformers [cleanroom.txt] [state-and-function.txt]
  
  
• 01/26: Intended functions [intended-function.txt]
  
  
• 01/28: Verification [verification.txt]
  
  
• 02/02: Trace tables [trace-table.txt]
  
  
• 02/04: Iteration [iteration.txt]
  
  
• 02/16: Group work on iteration [iteration-group.txt]
  
  
• 02/18: More iteration [iteration-extra.txt]
  
  
• 02/23: Programming with intended functions [prog-with-if.txt]
  
  
• 02/25: Review for exam1
  
  
• 03/11: Verification reviews [verif-review.txt]
  
  
• 03/23: Definite iteration [definite-iter.txt]
  
  
• 03/25: Definite iteration [definite-iter2.txt]
  
  
• 04/01: Data abstraction [abstraction.txt]
  
  
• Object-oriented programs [oop.txt]
  
  
• Recursion [recursion.txt]
  
  

Last modified by Yoonsik Cheon: $Id: index.php,v 1.45 2010/04/08 15:46:58 cheon Exp $