58
Voted
DAGSTUHL
2004
15 years 1 days ago
2004
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...