Lecture overview -- Keyboard shortcut: 'u'  Previous page: The highly responsible program -- Keyboard shortcut: 'p'  Next page: Contracts -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Alphabetic index  Help page about these notes  Course home    Contracts and Assertions - slide 13 : 32

Responsibility division by pre and postconditions
Preconditions and postconditions can be used to divide the responsibility between classes in an object-oriented program

Blame the caller if a precondition of an operation fails

Blame the called operation if the postcondition of an operation fails