Object-Oriented Design

Executable low-level design: classes with state and invariants, judged by sequences of method calls. Pair them with the Low-Level Design Practice guide for the modeling discussion.