| Date | Description |
|---|---|
| September 30 |
Hoare Logic: reasoning about code (slides) worksheet (solutions) |
| October 7 | HW3: Java tools (slides) |
| October 14 |
HW4: AFs & JUnit (slides) worksheet and Code Example |
| October 21 |
HW5 pt1, testing, & rep exposure (slides) rep exposure worksheet (solution) and test design worksheet (solution) |
| October 28 |
HW5 pt2, RIs, equals & hashCode (slides) worksheets: RIs/AFs worksheet (solution) and equals & hashCode (solution) |
| November 4 |
HW6: BFS, parsing data (slides) worksheet (solutions) |
| November 18 |
HW8: Javascript & Office Hours (slides) Code Examples |
| December 2 |
HW9: JSON & Fetch (slides) Code Examples |
| December 9 |
Final Review (slides) worksheet (solution) |