Communication Services as Components for Telecommunication Applications, Proc. 14th European Conference on Object-Oriented Programming, 2000. ,
Testing distributed component based systems using UML/OCL, Workshop on Integrating Diagrammatic and Formal Specification Techniques, pp.17-23, 2001. ,
Spécification de composants de communication en UML http://www.-info.enst-bretagne.fr/medium. [4] S. Cimato. A Methodology for the Specification of Java Components and Architectures, Proc. Objets, Composants, Modèles (OCM'2000), 1999. ,
Specifying Component-Based Java Applications, Proc. 3rd Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp.105-112, 1999. ,
DOI : 10.1007/978-0-387-35562-7_9
LSCs: Breathing life into message sequence charts, Proc. 3rd Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 1999. ,
Java in a Nutshell, 1999. ,
Design patterns: Elements of reusable object-oriented software, 1995. ,
An Automata Based Interpretation of Live Sequence Charts, Proc. TACAS'2001, 2001. ,
DOI : 10.1007/3-540-45319-9_35
Unified Modeling Language Reference Manual, 1997. ,
The Object-Z Specification Language, 1999. ,
DOI : 10.1007/978-1-4615-5265-9
Encoding Object-Z in Isabelle/HOL, ZB2002, LNCS, 2002. ,
DOI : 10.1007/3-540-45648-1_5
Component Software, 1999. ,
Specification matching of software components, Proc. of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, Software Engineering Notes, pp.6-17, 1995. ,