2000 | ||
---|---|---|
3 | EE | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: An Overview of RoZ: A Tool for Integrating UML and Z Specifications. CAiSE 2000: 417-430 |
2 | 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. L'OBJET 6(1): (2000) | |
1998 | ||
1 | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: Translating the OMT Dynamic Model into Object-Z. ZUM 1998: 347-366 |
1 | Sophie Dupuy-Chessa (Sophie Dupuy) | [1] [2] [3] |
2 | Yves Ledru | [1] [2] [3] |