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 |