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