. Clearsy, Disponible à l'adresse : http ://www

J. Souquières, D. Okalas, J. Ossami, and . Jacquot, Construction de spécifications multi-vues UML et B, Journal en ligne : Informations, Savoirs, Décisions & Médiations (ISDM), 2004.

S. Dupuy, Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information, Thèse de doctorat, 2000.

R. B. France, E. Grant, and J. Bruel, UMLtranZ : An UML-Based Rigorous Requirements Modeling Technique, 2000.

R. Laleau and A. Mammar, 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.

R. Laleau and F. Polack, 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

H. Ledang, Traduction Systématique de Spécifications UML vers B, Thèse de doctorat, 2002.

H. Ledang, J. Souquières, B. , and L. May, Derivation Schemes from OCL Expressions to, pp.2-04, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00099424

H. Ledang and J. Souquières, 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

H. Ledang, J. Souquières, and S. Charles, ArgoUML+B : Un outil de transformation systématique de spécifications UML vers B, Proceedings of AFADL'2003, 2003.

E. Meyer, Développements formels par objets : utilisation conjointe de B et d'UML, Thèse de doctorat, 2001.

E. Meyer and J. Souquières, 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

M. Y. Ng and M. Butler, 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

H. P. Nguyen, Dérivation de Spécifications Formelles B à Partir de Spécifications Semi-Formelles

D. Okalas-ossami, J. Souquières, and J. Jacquot, Assistance à la construction de spécifications multi-vues UML et B. poster, MAJECSTIC'03 octobre, pp.29-31, 2003.

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design, 1991.

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 1998.

C. Snook, M. Butler, and I. Oliver, Towards a UML profile for UML-B, 2003.

. Steria, Manuel de référence du langage B. -ClearSy-, novembre, 1998.

B. Tatibouet and A. Hammad, 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.

E. Y. Wang, H. A. Richter, and B. H. Cheng, 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

J. Warmer and A. Kleppe, The Object Constraint Language : Precise Modeling with UML, 1999.

P. Zave and M. Jackson, 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