Ian M. Holland
Proceedings of the 6th European Conference on Object-Oriented Programming (ECOOP)
Contracts are a way to define the interactions between objects in a system, trying to improve the support for large-scale object oriented system, compared to the simple use of inheritance.
The Contract construct supports the speicification of an invariant, which may combine features of several seperate classes.
Posted to Software-Eng by Ehud Lamm on 8/20/01; 3:41:03 AM