Sophie Dupuy-Chessa (Sophie Dupuy)
Sophie Dupuy-Chessa (Sophie Dupuy)
Professeur en informatique, Université Grenoble Alpes
Adresse e-mail validée de imag.fr - Page d'accueil
Titre
Citée par
Citée par
Année
An overview of RoZ: a tool for integrating UML and Z specifications
S Dupuy, Y Ledru, M Chabre-Peccoud
Advanced Information Systems Engineering, 417-430, 2000
1172000
A survey of model driven engineering tools for user interface design
JL Pérez-Medina, S Dupuy-Chessa, A Front
Proceedings of the 6th international conference on Task models and diagrams …, 2007
642007
A survey of model driven engineering tools for user interface design
JL Pérez-Medina, S Dupuy-Chessa, A Front
International Workshop on Task Models and Diagrams for User Interface Design …, 2007
642007
Ontology for multi-surface interaction
J Coutaz, C Lachenal, S Dupuy-Chessa
Proc. Interact, 447-454, 2003
572003
UsiComp: an extensible model-driven composer
A García Frey, E Céret, S Dupuy-Chessa, G Calvary, Y Gabillon
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012
412012
Evaluating Choreographies in BPMN 2.0 Using an Extended Quality Framework
M Cortes-Cornax, S Dupuy-Chessa, D Rieu, M Dumas
Business Process Model and Notation, 103-117, 2011
372011
Xplain: an editor for building self-explanatory user interfaces by model-driven engineering
A García Frey, G Calvary, S Dupuy-Chessa
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive …, 2010
34*2010
QUIMERA: A Quality Metamodel to Improve Design Rationale
AG Frey, E Céret, S Dupuy-Chessa, G Calvary
31*2011
Integrating OMT and Object-Z
S Dupuy, Y Ledru, M Chabre-Peccoud
Proceedings of BCS FACS/EROS ROOM Workshop, 1997
291997
A taxonomy of design methods process models
E Céret, S Dupuy-Chessa, G Calvary, D Rieu, A Front
Information and Software Technology 55 (5), 795-821, 2013
282013
A taxonomy of design methods process models
E Céret, S Dupuy-Chessa, G Calvary, D Front, A., Rieu
Inf. Softw. Technol. Elsevier 55, 795-821, 2013
282013
Translating the OMT dynamic model into Object-Z
S Dupuy, Y Ledru, M Chabre-Peccoud
ZUM’98: The Z Formal Specification Notation, 347-366, 1998
231998
Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information
S Dupuy-Chessa
Grenoble 1, 2000
22*2000
Test of the ICARE platform fusion mechanism
S Dupuy-Chessa, L du Bousquet, J Bouchet, Y Ledru
International Workshop on Design, Specification, and Verification of …, 2005
212005
A multi-formalism approach for the validation of UML models
S Dupuy, L Du Bousquet
Formal Aspects of Computing 12 (4), 228-230, 2000
182000
Evaluating the appropriateness of the BPMN 2.0 standard for modeling service choreographies: using an extended quality framework
M Cortes-Cornax, S Dupuy-Chessa, D Rieu, N Mandran
Software & Systems Modeling 15 (1), 219-255, 2016
172016
Users need your models! exploiting design models for explanations
AG Frey, G Calvary, S Dupuy-Chessa
The 26th BCS Conference on Human Computer Interaction 26, 79-88, 2012
162012
Interactional Objects: HCI Concerns in the Analysis Phase of the Symphony Method.
G Godet-Bar, D Rieu, S Dupuy-Chessa, D Juras
ICEIS (5), 37-44, 2007
162007
Démarche centrée utilisateur pour une ingénierie de langages de modélisation de qualité
N Mandran, S Dupuy-Chessa, D Rieu
152013
Working document on gloss ontology
J Coutaz, A Dearle, S Dupuy-Chessa, G Kirby, C Lachenal, R Morrison, ...
Arxiv preprint arXiv:1006.5661, 2010
152010
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20