| Number | Date | Title | Links |
| 1 |
2/1/2000 |
Lecture 1: Overview |
(PDF) |
| 2 |
2/2/2000 |
Lecture 2: Modularity, Types, and Objects |
(PDF) |
| 2a |
2/3/2000 |
Lecture 2a: Java Semantics, Revisited |
(PDF) |
| 3 |
2/3/2000 |
Lecture 3: Debugging |
(PDF) |
| 3a |
2/7/2000 |
Lecture 3a: Debugging, Again |
(PDF) |
| 4 |
2/7/2000 |
Lecture 4: Abstraction and Specification |
(PDF) |
| 5 |
2/8/2000 |
Lecture 5: Abstraction and Specification, Continued |
(PDF) |
| 6 |
2/9/2000 |
Lecture 6: Specifications and Exceptions |
(PDF) |
| 7 |
2/14/2000 |
Lecture 7: Abstract Data Types |
(PDF) |
| 8 |
2/15/2000 |
Lecture 8: Black-box Testing |
(PDF) |
| 9 |
2/16/2000 |
Lecture 9: Glass-box Testing |
(PDF) |
| 10 |
2/22/2000 |
Lecture 10: Subtyping And Subclassing |
(PDF) |
| 11 |
2/23/2000 |
Lecture 11: Subtyping and Subclassing, Part 2 |
(PDF) |
| 12 |
2/28/2000 |
Lecture 12: Understanding ADTs |
(PDF) |
| 13 |
2/29/2000 |
Lecture 13: Understanding ADTs (Continued) |
(PDF) |
| 14 |
3/6/2000 |
Lecture 14: More on Reasoning |
(PDF) |
| 15 |
3/7/2000 |
Lecture 15: Subtyping and Reasoning |
(PDF) |
| 16 |
3/8/2000 |
Lecture 16: Object Models |
(PDF) |
| 17 |
3/13/2000 |
Lecture 17: MDDs |
(PDF) |
| 18 |
3/14/2000 |
Lecture 18: Patterns and Events |
(PDF) |
| 19 |
3/15/2000 |
Lecture 19: Prototyping |
(PDF) |
| 20 |
3/27/2000 |
Guest lecture: software engineering in the real world |
No notes |
| 21 |
3/28/2000 |
Lecture 21: Project management |
(PS) |
| 22 |
3/29/2000 |
Lecture 22: Integration |
(PS) |
