2. Design by Contract. Design by Contract © Oscar Nierstrasz Design by Contract 2.2 Bertrand Meyer, Object-Oriented Software Construction, Prentice Hall,