Specifying Reusable Components Using Contracts

@inproceedings{Holland1992SpecifyingRC,
  title={Specifying Reusable Components Using Contracts},
  author={Ian M. Holland},
  booktitle={ECOOP},
  year={1992}
}
Contracts were introduced by Helm et al. as a high level construct for explicitly specifying interactions among groups of objects. This paper describes further developments and application of the Contract construct. We show how Contracts can be used to represent classic algorithms as large grained reusable object oriented abstractions, how these algorithms can be customized through Contract reenement and how they are reused through Contract conformance. The example algorithm used throughout is… CONTINUE READING