Ban3

Informations sur l'auteur

Monique Chabre-peccoud

http://pistou.imag.fr/site/author/76

  
Équipe(s) :
SIGMA Du 01/01/2009 au 31/12/2009
SIGMA Du 01/01/2010 au 31/12/2010
SIGMA Du 01/01/2011 au 31/12/2011 		 

Publications de l'auteur

La liste contient 5 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer-reviewed conference proceedings [ACT]
2000
1
Sophie Dupuy, Yves Ledru, Monique Chabre-peccoud.
An Overview of RoZ : a Tool for Integrating UML and Z Specifications.
12th Conference on Advanced information Systems Engineering-CAiSE'2000, 1789, Lecture Notes in Computer Science, Stockholm, Suède, 2000.
bibtex/ html
2
Sophie Dupuy, J-C. Freire, Monique Chabre-peccoud, Yves Ledru.
Formal and Informal Specifications: a proposal for a coupling.
13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, France, dec 2000.
bibtex/ html
1998
3
Sophie Dupuy, Yves Ledru, Monique Chabre-peccoud.
Translating the OMT dynamic model into Object-Z.
11th Int. Conf. of Z Users-ZUM'98, 1493, Lecture Notes in Computer Science, Berlin, Germany, 1998.
bibtex/ html
1997
4
Sophie Dupuy, Yves Ledru, Monique Chabre-peccoud.
A. Evans, K. Lano.
Integrating OMT and Object-Z.
Proceedings of BCS FACS/EROS ROOM Workshop, Technical Report GR/K67311-2, Dept. of Computing, Imperial College, London, UK, jun 1997.
bibtex/ html
National peer reviewed journal [ACLN]
2000
5
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, numéro thématique Méthodes formelles pour les objets, 6(1), 2000.
bibtex/ html