| Number | Lastmod | Title | Links |
| C1 | 3/26/2012 | Differences from CSE 143 | (HTML) |
| C2 | 3/26/2012 | Reasoning About Code (Hoare Logic) | (PDF) |
| C3 | 3/26/2012 | Java Style Guide | (HTML) |
| C4 | 3/26/2012 | Java Q&A | (HTML) |
| C5 | 3/26/2012 | Class and Method Specifications | (HTML) |
| C6 | 4/25/2012 | A Guide to Testing | (HTML) |
| C7 | 3/26/2012 | Writing Abstraction Functions and Rep Invariants | (HTML) |