object = information + responsibilities
Contracts
a set of services
Behavioral refinement
improving contracts
slide
:
Contracts and behavioral refinement