1 Context

• Programming-in-the-large
  • Distribution
  • Incremental Development
• The Statically Typed Strategy
  • Open-closed modules
  • Statically typed object orientation
    1. Scoping the responsibilities
    2. Checking behaviour
    3. Assertion inference

Table of contents