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