Constraints
l
APIs must enforce domain validity
l
Preconditions
l
Postconditions
l
Class invariants
l
System invariants