Design by Contract. Design by contract is the process of developing software based on the notion of contracts between objects, which are expressed as.
Design by Contract
