| Number |
Lecture Date |
Title |
Handout |
Fullsize |
| 1 |
Feb 08 |
Java objects |
PDF |
PDF |
| 2 |
Feb 10 |
Java classes |
PDF |
PDF |
| 3 |
Feb 13 |
Specifications |
PDF |
PDF |
| 4 |
Feb 15 |
Subclassing |
PDF |
PDF |
| 5 |
Feb 17 |
Exceptions and Testing |
PDF |
PDF |
| 6 |
Feb 21 |
Procedure specifications |
PDF |
PDF |
| 7 |
Feb 22 |
Abstract data types |
PDF |
PDF |
| 8 |
Feb 24 |
Representation invariants and abstraction functions |
PDF |
PDF |
| 9 |
Feb 27 |
Subtyping
|
PDF |
PDF |
| 11 |
March 6 |
Equality
|
PDF |
PDF |
| 12 |
March 8 |
Debugging
|
PDF |
PDF |
| 13 |
March 10 |
Usability I
|
PDF |
PDF |
| 14 |
March 13 |
Usability II
|
PDF |
PDF |
| 15 |
March 15 |
Reasoning about ADTs
|
PDF |
PDF |
| 16 |
March 17 |
Reasoning about code
|
PDF |
PDF |
| 17 |
March 20 |
Module dependences and decoupling
|
PDF |
PDF |
| 18 |
March 22 |
Software Project Management
|
PDF |
PDF |
| 19 |
March 24 |
Software Project Management II
|
PDF |
PDF |
| 20 |
April 5 |
Final Project Information
|
|
|
| 21 |
April 7 |
Design Patterns
|
PDF |
PDF |
| 22 |
April 10 |
Concurrency and Parallelism
|
PDF |
PDF |
| 23 |
May 17 |
Wrapup
|
PDF |
PDF |
