Refactoring with Contracts

WRT, pp. 53-64, 2006.

Cited by: 17|Bibtex|Views8|Links
EI
Keywords:
rename methodclass invariantsnew contractcontract modificationjava expressionMore(15+)

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments