| Number | Lecture Date | Title | Links |
| L1 | 2/05/2002 | Introduction | (PDF) (PS) |
| L2 | 2/06/2002 | Dependences and Decoupling | (PDF) (PS) |
| L3 | 2/11/2002 | Specifications | (PDF) (PS) |
| L4 | 2/12/2002 | Testing and Debugging - Part 1 | (PDF) (PS) |
| L5 | 2/13/2002 | Testing and Debugging - Part 2 | (PDF) (PS) |
| L6 | 2/19/2002 | Exceptions | (PDF) (PS) |
| L7 | 2/20/2002 | Object Model Notations | (PDF) (PS) |
| L8 | 2/25/2002 | Intro to ADTs | (PDF) (PS) |
| L9 | 2/26/2002 | Understanding ADTs - Part 1 | (PDF) (PS) |
| L10 | 2/27/2002 | Understanding ADTs - Part 2 | (PDF) (PS) |
| L11 | 3/04/2002 | Problem Object Models | (PDF) (PS) |
| L12 | 3/05/2002 | Subclasses and subtypes | (PDF) (PS) |
| L13 | 3/11/2002 | Reasoning about programs - Part 1 | (PDF) (PS) |
| L14 | 3/12/2002 | Reasoning about programs - Part 2 | (PDF) (PS) |
| L15 | 3/13/2002 | Equality | (PDF) (PS) |
| L16 | 3/18/2002 | Classes and interfaces | (PDF) (PS) |
| L17 | 3/19/2002 | Design Patterns | (PDF) (PS) |
| L18 | 3/20/2002 | Guest lecture | (PDF) (PS) |
| L19 | 4/01/2002 | Project Management and Control - Part 1 | (PDF) (PS) |
| L20 | 4/02/2002 | Project Management and Control - Part 2 | (PDF) (PS) |
| L21 | 4/03/2002 | Project Management and Control - Part 3 | (PDF) (PS) |
