Ban3

Informations sur l'auteur

Sophie Dupuy

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

 
Équipe(s) :
VASCO Du 01/01/1996 au 01/12/2001
IIHM Du 01/07/2008 au 31/12/2099
SIGMA Du 01/07/2008 au 31/12/2099
 

Publications de l'auteur

La liste contient 67 é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 journal [ACL]
2012
1
Sonata : Flexible connections between interaction and business spaces.
journal of Systems and Software, 85(5):1105-1118, 2012.
Pdf-128x128
bibtex/ html
2010
2
HCI and business practices in a collaborative method for augmented reality systems.
Information and Software Technology, 52(5):492-505, 2010.
bibtex/ html
3
Towards the Integration of HCI Practices and Business Evolution in the Symphony Method.
Information and Software Technology, Elseiver, (52):492-505, 2010.
Pdf-128x128
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2012
4
Efficient Embedded System Development: A Workbench for an Integrated Methodology.
ERTS2 2012, Toulouse, France, feb 2012.
Www-128x128 Pdf-128x128abstract ]
bibtex/ html
2011
5
A case Study for Improving a Collaborative Design Process.
IFIP WG8.1 Working conférence on Method Engineering (ME'2011), 2011.
Pdf-128x128
bibtex/ html
6
Bridging the Gap between Business Processes and Service Composition through Service Choreographies.
IFIP WG8.1 Working conférence on Method Engineering (ME'2011), 2011.
bibtex/ html
7
Evaluating Choreographies in BPMN 2.0 Using an Extended Quality Framework.
3rd International Workshop on the Business Process Model and Notation (BPMN Workshop'2011), 2011.
abstract ]
bibtex/ html
8
QUIMERA: a Quality Metamodel to Improve Design Rationale.
Proceedings of the third ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2011), :265-270, 2011.
Www-128x128 Www-128x128 Pdf-128x128
bibtex/ html
2010
9
Using Software Metrics in the Evaluation of a Conceptual Component Model.
4th Int. Conf. on Research Challenge in Information Science (RCIS'2010), :507-514, 2010.
Pdf-128x128
bibtex/ html
10
Towards a community for information system design validation.
12th International Conference on Enterprise Information System, 2010.
bibtex/ html
11
Xplain: an Editor for building Self-Explanatory User Interfaces by Model-Driven Engineering.
Proceedings of the second ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2010), :41-46, 2010.
Www-128x128 Pdf-128x128
bibtex/ html
12
Self-Explanatory User Interfaces by Model-Driven Engineering.
Proceedings of the second ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2010), :341-344, 2010.
Www-128x128 Pdf-128x128
bibtex/ html
2009
13
Quality in Ubiquitous Information System Design.
3rd Int. Conf. On Research Challenge on Information Systems (RCIS'2009), IEEE, 2009.
bibtex/ html
14
A service-oriented approach for model management.
12ème Iberoamerican Conference on Requirements Engineering and Software Environments (IDEAS'2009), 2009.
bibtex/ html
15
A service-oriented approach for interactive system design.
8th International Workshop on TAsk Models and DIAgrams (Tamodia'2009), 2009.
bibtex/ html
16
A service-oriented approach for model management.
12ème Iberoamerican Conference on Requirements Engineering and Software Environments (IDEAS'2009), 2009.
Pdf-128x128
bibtex/ html
17
Quality in Ubiquitous Information System Design.
3rd Int. Conf. on Research Challenge in Information Science (RCIS'2009), 2009.
Pdf-128x128
bibtex/ html
2008
18
When Interaction Choices Trigger Business Evolution.
Proceedings of the 20th International Conference on Advanced Information Systems Engineering, 2008.
bibtex/ html
2007
19
A survey of Model Driven Engineering Tools for User Interface Design..
6th International Workshop on Task Models and DIAgrams, TAMODIA 2007, actes publiés par LNCS, éditeurs Marco Winckler, Hilary Johnson, P. Palanque., 2007.
bibtex/ html
20
Interactional Objects: HCI concerns in the analysis phase of the Symphony method.
Proc. of the 9th International Conference on Enterprise Information System (ICEIS'2007), 2007. Note: Madeira, June 2007..
Pdf-128x128
bibtex/ html
21
A Survey of Model Driven Tools for User Interface Design.
6th International Workshop on TAsk Models and DIAgrams (TAMODIA'2007), :84 – 97, 2007. Note: Toulouse, France, Novembre 2007, {LNCS} 4849, pages 84-97.
Pdf-128x128
bibtex/ html
2006
22
Towards a System of Patterns for the Design of Multimodal Interfaces.
Chapter 3. Computer-Aided Design of User Interfaces. Proceedings of 6th International Conference on Computer-Aided Design of User Interfaces CADUI'2006 (Bucharest, 6-8 June 2006), :27-40, 2006.
Pdf-128x128
bibtex/ html
2005
23
Test of the ICARE platform fusion mechanism.
LNCS, 2005. Note: 12th International Workshop on Design, Specification and Verification of Interactive Systems.
Pdf-128x128
bibtex/ html
2004
24
Towards Computer-Aided Design of OCL Constraints.
Proceedings of CAISE'04 Workshops Vol. 1 -EMMSAD'04: Evaluating Modeling Methods for Systems Analysis and Design, :329--338, Riga, jun 2004.
bibtex/ html
2003
25
Ontology for Multi-surface Interaction.
Proceedings of Interact 2003, 2003.
Pdf-128x128
bibtex/ html
2001
26
From UML to Z, a support for requirements engineering with RoZ.
Formal Methods Europe 2001, 2001. Note: Tutorial.
bibtex/ html
2000
27
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
28
Validation of UML models thanks to Z and Lustre.
Formal Methods Europe, Berlin, Germany, mar 2000.
bibtex/ html
29
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
30
The Invoicing System in UML.
International workshop on Comparing Systems Specification Techniques. What questions are prompted by ones particular method of specification?, Nantes, France, mar 1998. Note: ISDN : 2-906082-29-5.
bibtex/ html
31
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
32
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
Short communications [COM] and posters [AFF] in conferences and workshops
2012
33
Intégration de métriques de qualité des diagrammes et des langages dans l’outil ModX.
Actes de la Conférence en IngénieriE du Logiciel CIEL'2012, 2012.
bibtex/ html
2000
34
A Multi-Formalism Approach for the validation of UML models.
Formal Aspects of Computing, 2000.
bibtex/ html
Scientific books and chapter [OS]
2009
35
A Software Engineering Method for the Design of Mixed Reality Systems.
Human-Computer Interaction Series, 15, The Engineering of Mixed Reality Systems, Springer-Verlag, 2009. Note: eds E. Dubois, P. Gray and L. Nigay.
bibtex/ html
2000
36
Using UML with a Behaviour-Driven Method.
Software Specification Methods: An Overview Using a Case Study, Springer, 2000. Note: à paraître.
bibtex/ html
National peer reviewed journal [ACLN]
2010
37
Approche orientée services pour la construction des environnements de modélisation.
revue des Sciences et Technologies de l'Information, série Ingénierie des Systèmes d'Information, 15(4), 2010.
Pdf-128x128
bibtex/ html
2007
38
Vers une méthode de conception de systèmes mixtes : Principes et mise en œuvre.
Revue RSTI - ISI. Interaction homme-machine dans les SI, 12(6):39-66, 2007.
bibtex/ html
2006
39
Vers une méthode de développement pour les Systèmes Mixtes..
Revue Génie Logiciel, 77:31-36, 2006.
bibtex/ html
2000
40
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
National peer-reviewed conference proceedings [ACTN]
2012
41
², une méthode intégrée pour le développement des systèmes embarqués.
XXXème Congrès Inforsid'2012, may 2012.
bibtex/ html
42
Qualité des langages de modélisation et des modèles : vers un catalogue des patrons collaboratifs.
Actes du XXXème Congrès INFORSID, 2012.
bibtex/ html
43
Limites de l’évaluation d’un Système d’Information : une analyse fondée sur l’expérience pratique.
Actes du XVIIIème Congrès INFORSID, 2012.
bibtex/ html
2009
45
Un processus d'imitation de patrons supporté par l'approche IDM.
5èmes journées Ingénerie Dirigée par les Modèles - IDM'2009, 2009.
bibtex/ html
46
Service intentionnel pour la gestion de modèles.
Atelier IESI (Ingénierie d'entreprise et des systèmes d'information), organisé dans le cadre du congrès INFORSID'09, 2009.
bibtex/ html
47
Vers la formalisation de propriétés ergonomiques de systèmes interactifs.
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), 2009.
Pdf-128x128
bibtex/ html
48
Une approche générique pour l’adaptation dynamique des IHM au contexte.
21ème Conférence francophone sur l’Interaction Homme-Machine (IHM’2009), oct 2009. Note: Grenoble, France.
bibtex/ html
49
Une approche générique pour l'adaptation dynamique des IHM au contexte.
Proc. IHM'09, 21ème Conférence francophone sur l'Interaction Homme-Machine (IHM'2009), Grenoble, 2009.
Pdf-128x128
bibtex/ html
2008
50
Approche orientée services pour la gestion de modèles.
Actes du 26ème congrès Inforsid'2008, Fontainebleau, France, 2008.
bibtex/ html
51
Approche orientée services pour la gestion de modèles.
Congrès INFORSID'08 (Fontainebleau, France, May 2008), :5-20, 2008.
Pdf-128x128
bibtex/ html
2007
52
Principes pour une Méthode de conception de Systèmes Mixtes.
Actes de 19ème Conférence francophone sur l'Interaction Homme-Machine (IHM'2007), Paris, France, 2007.
bibtex/ html
53
Principes pour une Méthode de conception de Systèmes Mixtes.
Actes de 19ème Conférence francophone sur l'Interaction Homme-Machine (IHM'2007, Paris, France, Novembre 2007), 2007.
Pdf-128x128
bibtex/ html
2006
54
Conception collaborative pour les Systèmes Mixtes.
XXIVème Congrès INFORSID'06, Hammamet, 2006.
bibtex/ html
2005
55
Requirements and Impacts of Model driven engineering on Mixed Systems Design.
1ères Journées sur l'Ingénierie Dirigée par les Modèles (IDM'05), :43-54, 2005.
bibtex/ html
2003
56
Expressing dynamic properties of static diagrams in Z.
Approches Formelles Pour le Développement des Logiciels - AFADL'2003, 2003.
Pdf-128x128
bibtex/ html
2000
57
Vers une prise en compte des contraintes en UML grâce à Z.
INFORSID'2000, Lyon, France, may 2000.
bibtex/ html
Book or Proceedings editing [DO]
2007
58
Prise en compte de l’IHM dans le développement des SI.
Volume 12, RSTI-ISI, 2007.
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
2011
59
Modélisation en Interaction Homme-Machine et en Système d'Information : à la croisée des chemins.
PhD Thesis, 2011. Note: Habilitation à diriger des recherches, Université de Grenoble.
Pdf-128x128
bibtex/ html
2000
60
Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information.
Thèse, Université Joseph Fourier, Grenoble, France, sep 2000.
Www-128x128
bibtex/ html
Other Publications [AP]
2011
61
QUIMERA - Toward an unifying quality metamodel.
2011.
Pdf-128x128
bibtex/ html
2010
62
Self-Explanatory User Interfaces by Model-Driven Engineering.
Proceedings of the CHI'10 Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI'10), :1-4, 2010.
Pdf-128x128
bibtex/ html
2004
63
Towards computer-aided design of OCL constraints.
2004. Note: Latvia.
Pdf-128x128
bibtex/ html
2003
64
RoZ, un outil intégrant UML et Z pour l'ingénierie des exigences.
IRISA, Rennes, jan 2003. Note: Tutoriel.
bibtex/ html
65
Infrastructure Support for Contextual Applications - an Experience Report.
2003. Note: Workshop on Ubiquitous Mobile Information and Collaboration Systems (UMICS2003) at CAISE’2003.
Pdf-128x128
bibtex/ html
1999
66
RoZ version 0.3 : an environment for the integration of UML and Z.
1999.
Www-128x128
bibtex/ html
67
RoZ version 0.3 : an environment for the integration of UML and Z.
1999. Note: http://www-lsr.imag.fr/Les.Groupes/PFL/RoZ.
bibtex/ html