Design by Contract: The Lessons of Ariane, Computer, pp.129-130, 1997. ,
Testing Component-Based Software: A Cautionary Tale, IEEE Software, pp.54-59, 1998. ,
Applying 'Design by Contract, Computer, pp.40-52, 1992. ,
TOOLS 26: Technology of Object-Oriented Languages and Systems, pp.295-307, 1998. ,
The Object Constraint Language, 1998. ,
Object-Oriented Software Construction, N.J, 1997. ,
Synchronization in Concurrent, Object-Oriented Languages: Expressive Power, Genericity and Inheritance, doctoral dissertation, Trinity College, 1994. ,
The Specification of Process Synchronizations by Path Expressions, Lecture Notes in Computer Science, E. Gelenbe and C ,
, Symp. Operating Systems, vol.16, pp.89-102, 1974.
Real-time ObjectOriented Distributed Processing with COREMO, 1998. ,
The Design of the TAO Real-Time Object Request Broker, IEEE Computer Comm. J, vol.21, issue.4, pp.294-324, 1998. ,
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. ,
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