| Number | Last Modified | Title | Links |
| S1 | 8/30 | Java Style Guide | (HTML) |
| S2 | 8/30 | Tools | (HTML) |
| S3 | 8/30 | Problem Set Submission | (HTML) |
| S4 | 8/30 | Specifications | (HTML) |
| S5 | 8/30 | Daikon: Automatic Invariant Detector | (HTML) |
| S6 | 8/30 | Documenting a Software System | (HTML) |
| S7 | 8/30 | Practice Quizzes | (HTML) |