| Number | Lecture Date | Title | Links |
| L1 |
2/6/2001 |
Lecture 1 - Overview |
(PDF) |
| L2 |
2/7/2001 |
Lecture 2 - Java Semantics: Objects |
(PDF) |
| L2-QA |
2/7/2001 |
Lecture 2 Q & A |
(HTML) |
| L3 |
2/12/2001 |
Lecture 3 - Java Semantics: Classes |
(PDF) |
| L3-QA |
2/12/2001 |
Lecture 3 Q & A |
(HTML) |
| L4 |
2/13/2001 |
Lecture 4 - Abstraction and specification 1 |
(PDF) |
| L4-QA |
2/13/2001 |
Lecture 4 Q & A |
(HTML) |
| L5 |
2/14/2001 |
Lecture 5 - Debugging |
(PDF) |
| L6 |
2/20/2001 |
Lecture 6 - Procedural abstractions |
(PDF) |
| L6-QA |
2/20/2001 |
Lecture 6 Q & A |
(HTML) |
| L7 |
2/21/2001 |
Lecture 7 - Testing |
(PDF) |
| L8 |
2/26/2001 |
Lecture 8 - Specifications & exceptions |
(PDF) |
| L8-QA |
2/26/2001 |
Lecture 8 Q & A |
(HTML) |
| L9 |
2/27/2001 |
Lecture 9 - Abstract data types |
(PDF) |
| L9-QA |
2/27/2001 |
Lecture 9 Q & A |
(HTML) |
| L10 |
2/28/2001 |
Lecture 10 - Subtyping and subclassing |
(B&W PDF)
(Color PDF) |
| L10-QA |
2/28/2001 |
Lecture 10 Q & A |
(HTML) |
| L11 |
3/5/2001 |
Lecture 11 - Understanding ADTs |
(PDF) |
| L12 |
3/6/2001 |
Lecture 12 - Understanding ADTs 2 |
(PDF) |
| L13 |
3/12/2001 |
Lecture 13 - More on Reasoning |
(PDF) |
| L14 |
3/13/2001 |
Lecture 14 - Reasoning about Code Cont'd |
(PDF) |
| L15 |
3/14/2001 |
Lecture 15 - Object Models |
(PDF) |
| L15-QA |
3/14/2001 |
Lecture 15 Q & A |
(HTML) |
| L16 |
3/19/2001 |
Lecture 16 - Module Dependences |
(PDF) |
| L16-QA |
3/19/2001 |
Lecture 16 Q & A |
(HTML) |
| L17 |
3/20/2001 |
Lecture 17 - Design Patterns |
(PDF) |
| L18 |
3/21/2001 |
Lecture 18 - Design Patterns 2 |
(PDF) |
| L19 |
4/2/2001 |
Lecture 19 - Project Management 1 |
(PDF) |
| L20 |
4/3/2001 |
Lecture 20 - Project Management 2 |
(PDF) |
| L21 |
4/4/2001 |
Lecture 21 - Project Management 3 |
(PDF) |
