Object-oriented modeling
prototyping, specification, refinement, interactions
OOP = Contracts + Refinements
slide
:
Object-oriented modeling