Lecture overview -- Keyboard shortcut: 'u'  Previous page: Responsibility division by pre and postconditions -- Keyboard shortcut: 'p'  Next page: Everyday 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 14 : 32

The preconditions and the postconditions together form a contract between the client class and the server class

A contract expresses the mutual obligations in between parts of a program that cooperate about the solution of some problem