A. , J. Duncan, and K. , Task analysis and training design, Occupational Psychology, vol.41, pp.211-227, 1967.

B. , M. Lucquiaud, V. Autard, D. And, and D. Scapin, K-made : un environement pour le noyau du modele de description de l'activite. 18eme Conference Francophone sur l'Interaction Homme-Machine (IHM', pp.287-288, 2006.

B. , M. Lehmann, G. And-albayrak, and S. , Bridging models and systems at runtime to build adaptive user interfaces, Proceedings of the 2Nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems. EICS '10, pp.9-18, 2010.

B. , G. Lewandowski, A. And-tarby, and J. , Defining task oriented components. Task Models and Diagrams for User Interface Design, pp.170-183, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00731365

C. , S. Moran, T. And-newell, and A. , The psychology of human-computer interaction, 1983.

D. , K. Bogdanowicz, M. Scapolo, F. Leijten, J. And-burgelman et al., Scenarios for ambient intelligence in 2010, 2001.

F. , A. G. Céret, E. Dupuy-chessa, S. Calvary, G. And-gabillon et al., Usicomp : An extensible model-driven composer, Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. EICS '12, pp.263-268, 2012.

F. , M. A. Costa, and O. D. , Science and technology roadmapping : Ambient intelligence in everyday life (ami@life), IPTS Report, vol.73, 2003.

G. , A. Bellik, Y. And-jacquet, and C. , Requirements of task modeling in ambient intelligent environments, International Conference on Ambient Computing, Applications, Services and Technologies, pp.71-78, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00739025

G. , A. Bellik, Y. And-jacquet, and C. , A run time executable task model for ambient intelligent environments, International Conference on Ubiquitous IntelligenceInternational Workshop on Intelligent Techniques for Ubiquitous Systems, pp.691-696, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00916969

J. , B. And-kieras, and D. , The goms family of user interface analysis techniques : Comparison and contrast, ACM Transactions on Computer-Human Interaction, pp.320-351, 1996.

J. , P. Diaper, D. And-long, and J. , Tasks, skill and knowledge : Task analysis for knowledge based descriptions, Proceedings of First IFIP Conference on Human-Computer Interaction (Interact '84), pp.23-28, 1984.

J. , F. Laurillau, Y. And-nigay, and L. , Comm notation for specifying collaborative and multimodal interactive systems, Proceedings of the second ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.125-134, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00953315

K. , T. And-kangasharju, and J. , Executable task models, 2005.

L. , Q. And, and J. Vanderdonckt, Comparing task models for user interface design. The Handbook of Task Analysis for Human-Computer Interaction, pp.135-154, 2003.

M. , A. Abed, M. And-tabary, and D. , From the formal specifications of user tasks to the automatic generation of the hci specifications, pp.331-347, 2001.

M. , C. Navarre, D. And-palanque, and P. , A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems, International Journal of Human-Computer Studies, vol.72, issue.1, pp.77-99, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01130579

M. De-almeida, C. Palanque, P. Barboni, E. Winckler, M. A. Ragosta et al., Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs (regular paper), International Conference on Application and Theory of Automation in Command and Control Systems, 2011.

M. , G. Paterno, F. And, and C. Santoro, Ctte : Support for developing and analyzing task models for interactive system design, IEEE transactions on software engineering, vol.28, pp.797-813, 2002.

O. , T. C. And, and A. Shepherd, Using task analysis for information requirements specification : The sub-goal template (sgt) method, pp.347-365, 2004.

R. , G. Loreti, P. Vatalaro, M. Vatalaro, F. And-davide et al., The emergence of ambient intelligence, Presence, pp.60-81, 2003.

R. , D. Lehmann, G. Schwartze, V. Blumendorf, M. And-albayrak et al., Dynamic distribution and layouting of model-based user interfaces in smart environments, Model-Driven Development of Advanced User Interfaces Studies in Computational Intelligence, pp.171-197, 2011.

S. , H. Rouillard, J. Tarby, J. And-renard, and G. , Un système multi-agents permettant une assistance homme-machine mutuelle dans un environnement ambiant, Quatrième Workshop sur les Agents Conversationnels Animés, 2010.

D. Scapin and C. And-pierret-golbreich, Towards a method for task description : Mad, pp.27-34, 1989.

S. , A. And, and H. Hartson, Task-oriented representation of asynchronous user interfaces, pp.183-188, 1989.

S. , J. Calvary, G. Coutaz, J. And-favre, and J. , A model-driven engineering approach for the usability of plastic user interfaces, Lecture Notes in Computer Science, vol.4940, pp.140-157, 2008.

S. , C. Paramythis, A. Sfyrakis, M. , A. Stergiou et al., Adaptable and adaptive user interfaces for disabled users in the avanti project, Proceedings of the 5th International Conference on Intelligence and Services in Networks : Technology for Ubiquitous Telecom Services. IS&N '98, pp.153-166, 1998.

T. , J. And, and M. Barthet, The diane+ method. Computer-aided design of user interfaces, pp.95-120, 1996.

V. , G. C. Vanderlenting, B. F. And-bergevoet, and B. A. , Gta : Groupware task analysis -modeling complexity, Acta Psychologica, vol.91, pp.297-322, 1996.

W. , M. Sinnig, D. And-forbrig, and P. , Towards a formal task-based specification framework for collaborative environments, pp.221-232, 2009.

E. Est-Également-monitrice-d-'informatique-À-l-'iut-d-'orsay, Ses travaux de recherches portent sur la thématique de l'interaction Homme Machine dans les environnements ambiants. Elle travaille, plus particulièrement, sur l'étude des problèmes posés par la supervision des tâches utilisateur dans les environnements ambiants et la conception d'un modèle permettant le suivi et l