Sophie Dupuy

Publication Activity (10 Years)

Years Active: 1998-2000
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Sophie Dupuy, Lydie du Bousquet
A Multi-formalism Approach for the Validation of UML Models. Formal Aspects Comput. 12 (4) (2000)
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
An Overview of RoZ: A Tool for Integrating UML and Z Specifications. CAiSE (2000)
Sophie Dupuy
Vers une prise en compte des contraintes en UML grâce à Z. INFORSID (2000)
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. Obj. Logiciel Base données Réseaux 6 (1) (2000)
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
Translating the OMT Dynamic Model into Object-Z. ZUM (1998)