Logic of Programming and Calculi of Discrete Design, M. Broy, e d i t o r, p.3342, 1987. ,
Software Composition: Towards an Integration of Functional and Object-Oriented A p p r oaches, 1994. ,
Higher-order functional composition in visual form. Object applications, Centre Universitaire d'Informatique, University of Geneva, 1996. ,
Automation of design pattern: Concepts, tools and practices, Proceedings of UM-L'98 International Workshop, p.1077114, 1998. ,
Reasoning with the Uniied Modeling Language, Proc. Workshop on Industrial-Strength Formal Speciication Techniques (WIFT'98), 1998. ,
Cadp: a protocol validation and veriication toolbox, In Computer Aided V eriication, pp.1-9 ,
Design Patterns: Elements of Reusable Object-Oriented Software. A ddison Wesley, 1995. ,
Equivalence rules for UML class diagrams, Proceedings of UML'98 International Workshop, p.87796, 1998. ,
, Object Management Group. UML version 1.1, 1997.
, Object Management Group. UML proole for enterprise distributed object computing (edoc) rfp, ad/99-03-10, 1999.
, Object Management Group. UML proole for scheduling, performance, and time rfp, pp.99-102, 1999.
Validating distributed software modeled with UML, Proceedings of UML'98 International Workshop, p.3311340, 1998. ,
Object-Oriented Application Frameworks, c hapter EPEE: A Framework for Supercomputing, 1998. ,
Internal iteration externalized, Rachid Guerraoui, editor, ECOOP '99 O b j e ct-Oriented P r ogramming 13th European Conference, p.3299350, 1999. ,
Formalising the UML in structured temporal theories, Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Speciications), pages 1055121. Technische Universittt MMnchen, TUM-I9813, 1998. ,
A framework for higher-order functions in C++, Proceedings of the USENIX Conference on Object-Oriented T echnologies (COOTS), p.1033116, 1995. ,
Systtme de motifs pour l'expression et la parallllisation des traitements d''nummrations dans un contexte de gnie logiciel, 1997. ,