Object-oriented modeling

  • prototyping, specification, refinement, interactions

OOP = Contracts + Refinements


slide: Object-oriented modeling