Follow
Sophie Dupuy-Chessa (Sophie Dupuy)
Sophie Dupuy-Chessa (Sophie Dupuy)
Professeure en informatique, Université Grenoble Alpes
Verified email at imag.fr - Homepage
Title
Cited by
Cited by
Year
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
1292000
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
762007
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
762007
Ontology for Multi-surface Interaction.
J Coutaz, C Lachenal, S Dupuy-Chessa
Interact, 2003
592003
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
492011
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
45*2010
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
402012
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
382013
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
382013
QUIMERA: A Quality Metamodel to Improve Design Rationale
AG Frey, E Céret, S Dupuy-Chessa, G Calvary
38*2011
BI4BI: A continuous evaluation system for Business Intelligence systems
M Brichni, S Dupuy-Chessa, L Gzara, N Mandran, C Jeannet
Expert Systems with Applications 76, 97-112, 2017
362017
Integrating OMT and Object-Z
S Dupuy, Y Ledru, M Chabre-Peccoud
Proceedings of BCS FACS/EROS ROOM Workshop, 1997
301997
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, 219-255, 2016
272016
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
251998
Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information
S Dupuy-Chessa
Université Joseph Fourier (Grenoble; 1971-2015), 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
Model-Based Self-Explanatory UIs for free, but are they valuable?
A García Frey, G Calvary, S Dupuy-Chessa, N Mandran
Human-Computer Interaction–INTERACT 2013: 14th IFIP TC 13 International …, 2013
202013
Démarche centrée utilisateur pour une ingénierie de langages de modélisation de qualité
N Mandran, S Dupuy-Chessa, D Rieu
Revue des Sciences et Technologies de l'Information-Série ISI: Ingénierie …, 2013
202013
Supporting experimental methods in information system research
N Mandran, S Dupuy-Chessa
2018 12th International Conference on Research Challenges in Information …, 2018
192018
A multi-formalism approach for the validation of UML models
S Dupuy, L Du Bousquet
Formal Aspects of Computing 12 (4), 228-230, 2000
192000
The system can't perform the operation now. Try again later.
Articles 1–20