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 $