1 |
Introduction |
(PDF) |
2 |
Decoupling 1 |
(PDF) |
3 |
Decoupling 2 |
(PDF) |
4 |
Data Abstraction 1 |
(PDF) |
5 |
Data Abstraction 2 |
(PDF) |
6 |
Abstraction Functions and Rep. Invariants |
(PDF) |
7 |
Iteration Abstraction and Iterators |
(PDF) |
8 |
Objeact Models and Invariants |
(PDF) |
9 |
Equality, Copying, and Views |
(PDF) |
10 |
Dynamic Analysis 1 |
(PDF) |
11 |
Dynamic Analysis 2 |
(PDF) |
12 |
Design Patterns 1 |
(PDF) |
13 |
Design Patterns 2 |
(PDF) |
14 |
Design Patterns 3 |
(PDF) |
15 |
Subtyping |
(PDF) |
16 |
Case Study: Java Collections API |
(PDF) |
17 |
Case Study: JUnit |
(PDF) |
18 |
Case Study: Tagger |
Notes (PDF) Slides (PDF) |
19 |
Conceptual Modelling |
(PDF) |
20 |
Design Strategy |
(PDF) |