| Date | Description |
|---|---|
| April 1 |
L0 Introduction; L1 Reasoning about code A1, A2, A3; EJ 3.10, 3.12, 7.41, 8.45-8.46, 8.50, 8.56; PP 1.1-1.2, 1.5, 3.14-3.16; no reading quiz for today |
| April 3 |
L2 Invariants C1, C2 (first half); PP 3.17; RQ2 due @2am |
| April 5 |
L3 Loop development and reasoning C2 (second half); PP 6.31; RQ3 due @2am |
| April 8 |
L4 Specifications C5; PP 7.39; RQ4 due |
| April 10 |
L5 Satisfying a specification PP 4.21; RQ5 due |
| April 12 |
L6 Data abstraction (ADTs) PP 2.7-2.9; C3; RQ6 due |
| April 15 |
L7 Representation invariants C7, rep invariant part; RQ7 |
| April 17 |
L8 Abstraction functions C7, remainder; RQ8 |
| April 19 |
L9 Testing C6; PP 6.34, 8.43; RQ9 |
| April 22 |
L10 Exceptions J exceptions; EJ 7.38-7.39, ch 9; PP 4.22-4.24; RQ10 |
| April 26 |
L11 Subclasses and subtypes J classes; EJ 4.16-4.20, 8.48, 8.52; RQ11 |
| April 29 | Catch up |
| May 1 |
L12 Preventing null pointer errors T8; no reading quiz |
| May 3 |
L12 Identity, equality, and copying EJ 3.8-3.9,3.11-3.12, 4.15; PP 3.18, 6.31; RQ12 |
| May 6 |
L14 Design patterns 1 EJ 2.1-2.2, 2.4; RQ14 |
| May 8 |
L13 Generics and polymorphism J generics; EJ ch 5; RQ13 |
| May 10 | L13 Generics and polymorphism |
| May 13 |
L15 Debugging C8; RQ15 |
| May 15 |
L16 Design patterns 2 PP 6.33; RQ16 |
| May 17 | L17 Reasoning about ADTs |
| May 20 | L20 Design patterns 3 |
| May 22 |
L18 Events, module dependences, and decoupling EJ 4.13-4.14, 7.40; PP 5.26, 5.29, 8.44; RQ18 |
| May 24 | L21 Usability 1 |
| May 29 | L21 Usability 2 |
| May 31 |
L23 GUI programming, extra slides, example code Swing tutorials or Core Java vol. I by Horstmann & Cornell or other Swing material |
| June 3 |
L24 Event-based programming, example code More Swing material (choose on your own) |
| June 5 |
L22 System integration and software process EJ 8.41, 8.42; RQ22 |
| June 7 | L25 GUI demos and wrapup |