SE450: Programming by Contract [39/57]

• Spell out responsibilities
  • of caller
  • of implementor
• Increase reliability
• Increase efficiency