dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Monique Chabre-Peccoud Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2000
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: An Overview of RoZ: A Tool for Integrating UML and Z Specifications. CAiSE 2000: 417-430
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophie 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: Translating the OMT Dynamic Model into Object-Z. ZUM 1998: 347-366

Coauthor Index

1Sophie Dupuy-Chessa (Sophie Dupuy) [1] [2] [3]
2Yves Ledru [1] [2] [3]

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page