First page
Back
Continue
Last page
Overview
Graphics
Constraints
APIs must enforce domain validity
Preconditions
Postconditions
Class invariants
System invariants
Construct complete objects only (Builder pattern)