Travelled to:
1 × Sweden
Collaborated with:
Y.Ledru M.Chabre-Peccoud
Talks about:
overview (1) specif (1) integr (1) tool (1) uml (1)
Person: Sophie Dupuy
DBLP: Dupuy:Sophie
Contributed to:
Wrote 1 papers:
- CAiSE-2000-DupuyLC #overview #specification #uml
- An Overview of RoZ: A Tool for Integrating UML and Z Specifications (SD, YL, MCP), pp. 417–430.