Lambda the Ultimate

inactiveTopic Specifying reusable components using Contracts
started 8/20/2001; 3:40:05 AM - last post 8/20/2001; 8:23:00 AM
Ehud Lamm - Specifying reusable components using Contracts  blueArrow
8/20/2001; 3:40:05 AM (reads: 1287, responses: 1)
Specifying reusable components using Contracts
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

Ehud Lamm - Re: Specifying reusable components using Contracts  blueArrow
8/20/2001; 8:23:00 AM (reads: 863, responses: 0)
Notice that this is not DbC, as seen in Eiffel. Contracts in this context are more like classes: they are seperate entities, the are used to spcify how classes/objects interact.