| Date | Description |
|---|---|
| September 30 |
Introduction slides, PP preface, 1-2, 5, 31, 35 |
| October 2 | Reasoning about code I |
| October 5 |
Reasoning about code II - loops slides, notes |
| October 7 | loop development |
| October 9 |
Specifications slides, related notes, PP 21, 44 |
| October 12 |
Specs. (concl.); Data abstractions (ADTs) slides, related notes (same as last time), EJ 15 39 44 |
| October 14 |
ADTs (concl.); Representation invariants (RI) (start) slides, related notes |
| October 16 | Rep. invariants (concl.) |
| October 19 |
Abstraction Functions (AF); Testing (start) AF slides, related notes (same as last time); testing slides, PP 34, 43 |
| October 21 | Testing (concl.) |
| October 23 |
Module design and general style notes slides; EJ 10, 13-15, 40-41, 45, 56; PP 4, 7-8, 26, 33 |
| October 26 |
Design (concl.); Identity & equality, hashCode slides, EJ 8-9, 11-12 |
| October 28 | Equality & hashCode |
| October 30 |
Exceptions & assertions slides; EJ 38, 57-62, 65; PP 22-24 |
| November 2 | Exceptions (concl.) |
| November 4 |
Subtypes and subclasses (start) slides, EJ 16-20, 36, 52 |
| November 6 |
Subtypes (concl.); Generics and polymorphism (start) slides, EJ 23-28 |
| November 13 | Generics (cont.); |
| November 16 | Generics (wrapup) |
| November 18 |
Events, listeners, and callbacks slides, PP 27, 29 |
| November 20 |
Debugging slides, PP 18 |
| November 23 |
Graphics and GUIs slides code |
| November 25 | Graphics (cont.) |
| November 30 |
Event-driven GUI programming slides code |
| December 2 |
GUI wrapup; Design patterns 1 slides, EJ 1-6 |
| December 4 | Design patterns (cont.) |
| December 7 |
Design patterns 2 slides |
| December 9 |
System integration slides |
| December 11 |
Demos, wrapup slides |