AGILEDC
2006
IEEE
13 years 10 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 ...