Monique Chabre-Peccoud

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Coauthor Index

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

2 Yves Ledru [1] [2] [3]

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