V. Chapitre and .. Analyse-de-l-'agl-macao, 199 E.V.1 -Description

V. Chapitre, .. Etude-de-faisabilité, and .. Le-web, 236 E.VI.1 -WMACAO projet sur, 236 E.VI.3 -Conclusion sur le choix des deux technologies, p.236

C. Viiiune and I. , 241 E.VIII.1 -Architecture fonctionnelle, p.241

I. Chapitre and .. Réalisation-de-agl-en-paquetages, 242 E.IX.2 -Paquetage Client / Organisation242 E.IX.3 -Paquetage Architecture, ., 2008.

I. Chapitre, Spécification du module d'IHM Le module MACAO pour l'IHM propose de créer des modèles d'IHM dans un projet donné

. Chaque-modèle-est-conçu-lui-même-sur-un-métamodèle, Comme les diagrammes d'IHM de MACAO sont hérités d'un diagramme d'activité (par conséquent d'états-transitions) : ils utilisent sous Eclipse le métamodèle d'UML2.0 (basé sur le Ecore d'EMF)

C. Jean-bernard, Méthode Orientée-objet intégrale MACAO, pp.2-7298, 2003.

G. Booch, J. Rumbaugh, and I. Jacobson, Le guide de l'utilisateur UML

. Franck-barbier and . Uml2, Ingénierie des modèles avec études de cas

M. Fowler, UML 2, p.2744017132, 2004.

P. Roques, UML 2 -Modéliser une application Web, pp.2-212

P. Roques, UML 2 par la pratique, pp.2-212, 2006.

&. Larry-constantine and . Lockwood, Software for use, 1999.

A. Aditya, L. Tihmer, S. Jon, F. Shi, and K. Gabor, Generative Programming via Graph Transformation in the Model-Driven Architecture, OOPSLA 2002 WORKSHOP on generative Techniques in the context of Model Driven Architecture, 2002.

A. Aditya, L. Tihmer, S. Jon, F. Shi, and K. Gabor, Generative Programming via Graph Transformation in the Model-Driven Architecture, OOPSLA 2002 WORKSHOP on generative Techniques in the context of Model Driven Architecture, 2002.

A. Biju, C. Tony, R. Sreedhar, T. Laurence, and R. Venkatesh, A Model Driven Approach to Model Transformations, Workshop on Model Driven Architecture : Foundation and Application (MDAFA2003 THESE-MACAO Juin, 2003.

A. Biju, C. Tony, R. Sreedhar, T. Laurence, and R. Venkatesh, A Pattern based Model-Driven Approach to Building Model Transformations, 2003.

B. Jorn, G. Van, E. Boas, and E. D. Willink, Generative Model Transformer: An Open Source MDA Tool Initiative, Companion of the 18th annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, 2003.

B. Peter and M. Franck, BOTL The Bidirectionnal Object Oriented Transformation Language, 2003.

B. Franck, S. David, M. Ed, E. Raymond, and T. J. Groose, Eclipse Modeling Framework: A Developer's Guide, 2003.

B. Jean, G. Olivier, B. Jean, J. Frédéric, and V. Patrick, Towards a Precise Definition of the OMG/MDA Framework First Experiments with a ModelWeaver, Proceedings of the 16th international Conference of automated Software Engineering Best Pratices for Model Driven Software Developement, [22] jean BEZIVIN et Frédéric JOUAULT et Patrick VALDURIEZ. On the need of Megamodels, 2001.

C. Guy, J. Louis, and S. , Model Mapping in MDA, Software Model Engineering (WISME2002) [24] guy CAPLAT et Jean Louis SOURROUILLE. Considerations about Model Mapping. 2003.Workshop in Software Model engineering THESE-MACAO Juin, 2002.

C. Steve, Domain Specific Modeling and Model Driven Architecture, MDA journal, 2004.

C. Lisa and H. Tip, Testing Extreme Programming, 2002.

F. Jean-marie, Towards a Basic Theory to Model Driven Engineering

F. Frédéric and S. Raoul, Defining Model Driven Engineering Processes, 2004.

F. David, Model Driven Architecture : Applying MDA to Enterprise Computing, 2003.

G. Eric and B. Kent, Contributing to Eclipse : Principles, Patterns and Plug-ins

G. Tracy, G. Catherine, J. Koehler, and H. Rainer, A review of OMG MOF 2.0 Query / View / Transformations Submissions and Recommendations towards the final Standard, THESE-MACAO Juin, 2003.

G. Anna, L. Michel, R. Kerry, J. Steel, and W. Andrew, Transformation : the Missing Link of MDA, First International Conference on Graph Transformation, 2002.

J. Hendrick, H. Stuart, and K. , Visualizing Model Mappings in UML

I. Objects-software, G. , and P. Technology, INC 2nd Revised Submission to MOF Query, 2004.

K. Jana, W. Jos, and B. Wim, MDA explained: The Model Driven Architecture: practice and Promise, 2003.

K. Audris, J. Barzdins, and C. Edgars, Basics of Model Transformation Language MOLA, Workshop on Model Driven Devvelopment, 2004.

K. Stuart and S. Robert, The Bidirectional Mapping Problem, Electronic Notes in Theorical Computer Sciences, 2003.

S. J. Mellor, S. Kendall, U. Axel, and W. Dirk, MDA distilled: Principles of Model-Driven Architecture, 2004.

M. Bill, D. Dean, G. Ana, W. Gunnar, and P. Vanderheyden, Eclipse Development using the Graphical Editing Framework and the Eclipse Modeling Framework February, 2004.

M. Janak and P. Sibylle, Implementation of ULC Visual Editor for Eclipse, 2006.

G. Catherine, Using EMF, 2002.

Z. Eclipse, Standardizing plugins across your team, 2004.

O. David, R. Eclipse, S. Vs-rcplite-vs, and . Juillet, coconut-palm- software.com/the_visual_editor, p.23, 1995.

A. Vivien and P. Bonnemains, Guide de mise en oeuvre de MAVEN sur ADC, 2004.

B. Arnaud and S. , Struts, vous avez dit Struts, 2002.

D. Philippe, réussir mla modélisation UML des phases préliminaires. http://softeam.com [81] philippe DESFRAY, SOFTEAM. MDA -When a major software industry trend meets our toolset, implemented since, 1994.

K. Beck, W. Cunningham, and R. Jeffries, eXtreme Programming http

P. Roques and F. Vallee, UML en action, 2002.

S. Java and S. Www, sun.com/software/sundev/familycomp [98] Exadel STRUTS Studio http

B. Together and H. , html [101] IBM Rational Atlantic sur Eclipse www-306.ibm.com/software, 2008.

A. Acrobat and D. Http, adobe.com/products/livecycle/designer/ [114] Macromedia FLEX www.macromedia.com/software/flex

S. Article, eclipse.org/articles/Article-SWT-Design-1/SWT-Design-1

A. Win32 and . To, Net API http://msdn2.microsoft.com/en-us/library/aa302340.aspx [127] Evolution de Rational sur Eclipse http

W. Baron, M. Lucquiaud, D. Autard, and D. Scapin, K-MADe, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06, 2006.
DOI : 10.1145/1132736.1132786

C. Alexandre and T. , Vers une méthodologie de Validation et de Vérification multi-formelle des Interfaces Utilisateurs en milieu industriel, ONERA-DTIM

P. Palanque and R. Bastide, Spécifications formelles pour l'ingénierie des interfaces homme-machine, 1995.

C. Jean-bernard, L. Nonne, and F. Nicolas, Ingénierie d'utilisabilité, capture des exigences pour l'IHM, 2005.

T. Duval and J. Tarby, Am??liorer la conception des applications interactives par l'utilisation conjointe du mod??le PAC et des patrons de conception, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06
DOI : 10.1145/1132736.1132773

URL : https://hal.inria.fr/inria-00433839/file/article_JCT_TD_version_finale_definitive.pdf

C. Bach, P. Salembier, and E. Dubois, Co-conception d'exp??riences interactives augment??es d??di??es aux situations mus??ales, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06, 2006.
DOI : 10.1145/1132736.1132738

C. Grange and H. Barki, Developpement d'un outil de mesure de l'utilisabilit?? des intranets, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06, 2006.
DOI : 10.1145/1132736.1132756

S. Baffoun and J. Robert, ??tat de l'art des techniques de pr??sentation d'information sur ??cran d'assistant num??rique personnel, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06, 2006.
DOI : 10.1145/1132736.1132740

S. Huot, P. Dragicevic, and C. Dumas, Flexibilit?? et modularit?? pour la conception d'interactions, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06
DOI : 10.1145/1132736.1132742

C. Appert and M. Beaudouin-lafon, SMCanvas, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06, 2006.
DOI : 10.1145/1132736.1132749

URL : https://hal.archives-ouvertes.fr/inria-00538509

A. Yamine, A. Idir, B. Mickael, and J. Mota, Validation et Verification Formelles de Systemes Interactifs Multi-Modaux Fondees sur la Preuve, 2006.

A. Lewandowski, G. Bourguin, and J. Tarby, Vers des Composants Logiciels OrientÈs T?ches, 2006.
DOI : 10.1145/1132736.1132771

T. Dorta, Vers la ma??trise du virtuel ?? travers le r??el, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06, 2006.
DOI : 10.1145/1132736.1132753

R. Cyril, Y. Bellik, and F. Vernier, WWHT : un modèle conceptuel pour la présentation multimodale d'information, 2005.

V. Lucquiaud, Proposition d'un noyau et d'une structure pour les mod??les de t??ches orient??s utilisateurs, Proceedings of the 17th conference on 17??me Conf??rence Francophone sur l'Interaction Homme-Machine , IHM 2005, 2005.
DOI : 10.1145/1148550.1148561

B. Renaud, M. Beaudouin-lafon, S. Conversy, Y. Jestin, T. Baudel et al., INDIGO : une architecture pour la conception d'applications graphiques interactives distribuées, 2005.

A. Lewandowski and G. Bourguin, Gestion de l'inter-activités pour le support au développment logiciel coopératif, 2005.

F. Moussa, C. Kolski, and M. Riahi, De la mod??lisation des dysfonctionnements d'un syst??me complexe ?? la d??duction des besoins informationnels des utilisateurs, Proceedings of the 17th conference on 17??me Conf??rence Francophone sur l'Interaction Homme-Machine , IHM 2005, 2005.
DOI : 10.1145/1148550.1148560

M. Winckler, C. Farenc, E. Barboni, and F. Pontico, Mod??lisation orient??e t??che de la navigation d'une application web, Proceedings of the 17th conference on 17??me Conf??rence Francophone sur l'Interaction Homme-Machine , IHM 2005
DOI : 10.1145/1148550.1148562

V. Ludovic-le-bigot, E. Botherel, and . Jamet, Asym??trie du transfert modal lors d'un dialogue personne-machine, Proceedings of the 17th conference on 17??me Conf??rence Francophone sur l'Interaction Homme-Machine , IHM 2005, 2005.
DOI : 10.1145/1148550.1148557

G. Halin and S. Kubicki, Architecture dirig??e par les mod??les pour une repr??sentation multi-vues du contexte de coop??ration, Proceedings of the 17th conference on 17??me Conf??rence Francophone sur l'Interaction Homme-Machine , IHM 2005, 2005.
DOI : 10.1145/1148550.1148579

A. F. Newell, D. Anna, M. J. Smith, and G. Peter, Designing a portal for older users, ACM Transactions on Computer-Human Interaction, vol.13, issue.3, 2006.
DOI : 10.1145/1183456.1183459

D. Li and R. R. Muntz, A Collaboration Specification Language, 2000.

D. Scott, C. M. Mccrickard, J. Chewar, A. Somervell, and . Ndiwalana, A Model for Notification Systems Evaluation -Assessing User Goals for Multitasking Activity, ACM Transactions on Computer-Human Interaction, vol.10, issue.4, 2003.

S. Sitt and M. Kim, Automatic Generation of Intelligent Diagram Editors, ACM Transactions on Computer-Human Interaction, vol.10, issue.3, 2003.

M. Czerwinski, M. Research, ]. Constantinee, P. Steriadis, and . Constantinou, Bridging the Gap From Theory to Practice:The Path Toward Innovation in Human-Computer Interaction Designing Human- Computer Interfaces for Quadriplegic People, 2002.

P. Irani and C. Ware, Diagramming information structures using 3D perceptual primitives, ACM Transactions on Computer-Human Interaction, vol.10, issue.1, 2003.
DOI : 10.1145/606658.606659

T. Sheard, Zine-el-abidine Benaissa, Emir PasMic. DSL Implementation Using Staging and Monads, 2000.

J. Nichols, B. Rothrock, D. Chau, and B. A. Myers, Huddle, Proceedings of the 19th annual ACM symposium on User interface software and technology, UIST '06, 2006.
DOI : 10.1145/1166253.1166298

H. Kasper, B. B. Bederson, and C. Plaisant, Navigation Patterns and Usability of Zoomable User Interfaces with and without an Overview

E. Scott, J. Hudson, and . Mankoff, Rapid Construction of Functioning Physical Interfaces from Cardboard, Thumbtacks, Tin Foil and Masking Tape, 2006.

B. Willard, Lockheed Martin Aeronautics) UML for systems engineering, 2006.

W. Stuerzlinger, O. Chapuis, D. Phillips, and N. Roussel, User interface fa??ades, Proceedings of the 19th annual ACM symposium on User interface software and technology, UIST '06, 2006.
DOI : 10.1145/1166253.1166301

J. Tarby, X. L. Pallec, R. Marvie, and M. Nebut, Processus de modélisation incrémental pour le développement d'applications interactives basées sur PAC, Publication interne Lift, 2006.

R. Marvie and M. Nebut, Processus de Modélisation incrémentaux, 2006.

J. Coutaz, Interface homme-ordinateur, conception et réalisation, 19990.

I. Jacobson, G. Booch, and J. Rumbaugh, The Unified Software Development Process, 1999.

O. Barais, F. Fleurey, P. Muller, D. Vojtisek, and J. Jézéquel, Nouvelles fonctionnalités de kermeta, 2007.

F. Paterno, Model-Based Design and Evaluation of Interactive Applications
DOI : 10.1007/978-1-4471-0445-2

F. Paternò, ConcurTaskTrees: An Engineered Notation for Task Models The Handbook of Task Analysis for Human-Computer Interaction, THESE-MACAO Juin, vol.24, pp.483-503, 2003.

P. Girard, Y. Aït-ameur, and F. Jambon, A uniform approach for the specification and design of interactive systems : the B method, proceedings DSV-IS'98, pp.333-352, 1998.

P. Girard, Y. Aït-ameur, and F. Jambon, Using the B formal approach for incremental specification design of interactive systems, Engineering for Human-Computer Interaction

F. Adreit and S. Mahé, La prise en compte du contexte dans le développement d'un système logiciel interactif : Apports et

Q. Limbourg, J. Vanderdonckt, B. Michotte, L. Bouillon, and V. Lopez-jaquero, USIXML: A Language Supporting Multi-path Development of User Interfaces, Working Conference on Engineering for Human-Computer Interaction, 2004.
DOI : 10.1007/11431879_12

J. Coutaz, G. Calvary, S. Hci, and . Engineering, Designing for User Interface Plasticity In The Human-Computer Interaction Handbook: Fundamentals, Evolving Technologies, and Emerging Applications. Pages 1107-1125 Human Factor and Ergonomics series, A. Sears, 2008.