J. Jézéquel and B. Meyer, Design by Contract: The Lessons of Ariane, Computer, pp.129-130, 1997.

E. J. Weyuker, Testing Component-Based Software: A Cautionary Tale, IEEE Software, pp.54-59, 1998.

B. Meyer, Applying 'Design by Contract, Computer, pp.40-52, 1992.

R. Kramer, TOOLS 26: Technology of Object-Oriented Languages and Systems, pp.295-307, 1998.

J. Warmer and A. Kleppe, The Object Constraint Language, 1998.

B. Meyer, Object-Oriented Software Construction, N.J, 1997.

C. Mchale, Synchronization in Concurrent, Object-Oriented Languages: Expressive Power, Genericity and Inheritance, doctoral dissertation, Trinity College, 1994.

R. H. Campbell and A. N. Habermann, The Specification of Process Synchronizations by Path Expressions, Lecture Notes in Computer Science, E. Gelenbe and C

. Kaiser, Symp. Operating Systems, vol.16, pp.89-102, 1974.

Z. Choukair and A. Beugnard, Real-time ObjectOriented Distributed Processing with COREMO, 1998.

D. C. Schmidt, D. L. Levine, and S. Mungee, The Design of the TAO Real-Time Object Request Broker, IEEE Computer Comm. J, vol.21, issue.4, pp.294-324, 1998.

D. Watkins, Using Interface Definition Languages to Support Path Expressions and Programming by Contract, Technology of Object-Oriented Languages and Systems, vol.26, pp.308-319, 1998.

S. Lorcy, N. Plouzeau, and J. Jézéquel, Reifying Quality of Service Contracts for Distributed Software, Technology of Object-Oriented Languages and Systems, vol.26, pp.125-139, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00776458