Disponible à l'adresse : http ://www ,
Construction de spécifications multi-vues UML et B, Journal en ligne : Informations, Savoirs, Décisions & Médiations (ISDM), 2004. ,
Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information, Thèse de doctorat, 2000. ,
UMLtranZ : An UML-Based Rigorous Requirements Modeling Technique, 2000. ,
An overview of a method and its support tool for generating b specifications form UML notations, The 15st IEEE Int. Conf. on Automated Software Engineering, 2000. ,
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development, ZB'2002 ? Formal Specification and Development in Z and B, pp.517-534, 2002. ,
DOI : 10.1007/3-540-45648-1_27
URL : https://hal.archives-ouvertes.fr/hal-01124738
Traduction Systématique de Spécifications UML vers B, Thèse de doctorat, 2002. ,
Derivation Schemes from OCL Expressions to, pp.2-04, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00099424
Integration of UML and B specification techniques: systematic transformation from OCL expressions into B, Ninth Asia-Pacific Software Engineering Conference, 2002., 2002. ,
DOI : 10.1109/APSEC.2002.1183053
URL : https://hal.archives-ouvertes.fr/inria-00107556
ArgoUML+B : Un outil de transformation systématique de spécifications UML vers B, Proceedings of AFADL'2003, 2003. ,
Développements formels par objets : utilisation conjointe de B et d'UML, Thèse de doctorat, 2001. ,
A Systematic Approach to Transform OMT Diagrams to a B Specification, FM'99 : World Congress on Formal Methods in the Development of Computing Systems, 1999. ,
DOI : 10.1007/3-540-48119-2_48
URL : https://hal.archives-ouvertes.fr/inria-00098957
Tool Support for Visualizing CSP in UML, Proceedings of International Conference on Formal Engineering Methods(ICFEM), pp.287-298, 2002. ,
DOI : 10.1007/3-540-36103-0_31
Dérivation de Spécifications Formelles B à Partir de Spécifications Semi-Formelles ,
Assistance à la construction de spécifications multi-vues UML et B. poster, MAJECSTIC'03 octobre, pp.29-31, 2003. ,
Object-Oriented Modeling and Design, 1991. ,
The Unified Modeling Language Reference Manual, 1998. ,
Towards a UML profile for UML-B, 2003. ,
Manuel de référence du langage B. -ClearSy-, novembre, 1998. ,
Génération de diagrammes de classes uml à partir de machines abstraites b, Actes des Journées d'Informatique pour l'Entreprise, JIEO1'02 mars, pp.4-6, 2002. ,
Formalizing and integrating the dynamic model within OMT, Proceedings of the 19th international conference on Software engineering , ICSE '97, 1997. ,
DOI : 10.1145/253228.253239
The Object Constraint Language : Precise Modeling with UML, 1999. ,
Conjunction as composition, ACM Transactions on Software Engineering and Methodology, vol.2, issue.4, pp.379-411, 1993. ,
DOI : 10.1145/158431.158438
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3663