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

Monique Chabre-Peccoud (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


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)
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

Selection of 3 from 3 records - Monique Chabre-Peccoud has 2 coauthors

Last update 2012-02-18 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page