Monique Chabre-Peccoud

According to our database, Monique Chabre-Peccoud authored at least 4 papers between 1976 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z.

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud

Obj. Logiciel Base données Réseaux, 2000

An Overview of RoZ: A Tool for Integrating UML and Z Specifications.

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud

Proceedings of the Advanced Information Systems Engineering, 2000

1998

Translating the OMT Dynamic Model into Object-Z.

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1976

Le projet ABREGE.

Monique Chabre-Peccoud

PhD thesis, 1976