AGILEDC
2006
IEEE
14 years 5 months ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...