Making Specifications Complete Through Models

Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a subset of the relevant properties. We present:

• Type: Conference
• Year: 2004
• Where: DAGSTUHL
• Authors: Bernd Schoeller, Tobias Widmer, Bertrand Meyer
• Keywords: Complete Contracts, DAGSTUHL 2004, DAGSTUHL 2007, Mathematical Model Library, Precise Contracts