Questions

  1. Explain how you may characterize the behavior of an object by means of a contract.
  2. What benefits may design by contract have for system developers? And for users?
  3. What are partial types? How may they be employed?
  4. Give a detailed account of the issues that arise in refining a contract.

slide: Questions