Refactoring with Contracts
WRT, pp. 53-64, 2006.
rename methodclass invariantsnew contractcontract modificationjava expressionMore(15+)
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 the code is refactored, specifications of internal units change with the code. There are mutual influences between the code and the contract. The assertions that ...More
Full Text (Upload PDF)
PPT (Upload PPT)