The Contract Pattern

@inproceedings{Champlain1997TheCP,
  title={The Contract Pattern},
  author={Michel De Champlain},
  year={1997}
}
This paper describes the Contract pattern, an idiom that lets you apply assertions to guarantee pre-conditions and post-conditions of methods and invariants on the state of objects. This pattern can be used to develop reliable classes by making the Design by Contract methodology—introduced by Meyer in the specific context of the Eiffel language—available in Java and possibly other object-oriented languages. Intent Provide an implementation of the Design by contract methodology (Meyer88) for… CONTINUE READING