. Objets-du-modèle and . Concret, une exécution, est-il possible d'obtenir une valeur donnée fixée en fonction des données d'entrées, et cela à travers le modèle de tâches ?), finalisation complète de la suite de tâches dans l'arbre de tâches (toutes les tâches sont bien exécutables suivant l'ordre des interactions de l'utilisateur, et cela jusqu'à la fin)

D. Le-fichier-est-enregistré-suivant-une-traduction-en-xml-selon-la and . Défini-par-k-made, Figure 58) Ce fichier XML (voir exemple sur la Figure 59) est ensuite rejoué dans l'espace de simulation de l'environnement K-MADe. Les valeurs des contraintes n'étant pas directement liées aux objets lors de l'enregistrement du scénario seront celles du contexte du modèle de tâches à sa dernière simulation dans l'environnement. Le déroulement du rejeu se fait suivant l'animation du modèle de tâches et les erreurs dans le scénario sont détectées ou présentées de façon simple dans l'environnement : la simulation se termine

A. Aho, L. Monica, S. Ravi, J. , and U. , Compilateurs : principes, techniques et outils. Pearson Education, 2007.

Y. Aït-ameur, M. Baron, and N. Kamel, Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine, Une expérience comparative entre B et Promela/SPIN. 6th International Symposium on Programming and Systems ISPS 2003, Algérie, pp.57-66, 2003.

S. Balbo, S. Balbo, D. Draheim, C. Lutteroth, W. et al., Évaluation ergonomique des interfaces utilisateur : un pas vers l'automatisation. IMAG, Projet WAUTER, p.206, 1994.

M. Lucquiaud, V. Autard, D. Scapin, and D. , K-MADe : un environnement pour le noyau du modèle de description de l'activité (eds) IHM'06, and Coutaz, J. (1991) Developing Software for the User Interface, pp.255-287, 2006.

L. Bass, E. Hardy, K. Hoyt, R. Little, R. Seacord et al., The ARCH Model : SEEHEIM Revisited, The Serpent run time architecture and dialog model The Arch Model : Seeheim revisited, User Interface Developper's Workshop, 1988.

R. Bastide, PetShop, Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) , OOPSLA '00, p.167, 2000.
DOI : 10.1145/367845.368075

C. Bastien and D. Scapin, A validation of ergonomic criteria for the evaluation of human???computer interfaces, International Journal of Human-Computer Interaction, vol.1, issue.2, 1993.
DOI : 10.1080/10447319009525981

T. Baudel, . Gt-alf, and I. Workshop, Les principaux services d'une boîte à outils, p.17, 2002.

M. A. Bauer, Programming by examples, Artificial Intelligence, vol.12, issue.1, pp.1-21, 1979.
DOI : 10.1016/0004-3702(79)90002-X

M. Beaudouin-lafon, Designing interaction, not interfaces Advanced Visual Interfaces, pp.15-22, 2004.

S. Berti, F. Correani, G. Mori, F. Paternò, and C. Santoro, TERESA, Extended abstracts of the 2004 conference on Human factors and computing systems , CHI '04, pp.793-794, 2004.
DOI : 10.1145/985921.985939

R. Blanch, Architecture logicielle et outils pour les interfaces hommes-machines graphiques avancées, p.174, 2005.

B. W. Boehm, A spiral model of software developement and enhancement, Articial Intelligence, vol.21, pp.61-72, 1988.

M. Boshernitsan, S. L. Graham, and M. A. Hearst, Aligning development tools with the way programmers think about code changes, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '07, pp.567-576, 2007.
DOI : 10.1145/1240624.1240715

G. Bourguin, A. Lewandowski, and J. Tarby, Vers des composants logiciels orientés tâches, pp.215-218, 2006.

P. A. Brooks and A. M. Memon, Automated gui testing guided by usage profiles, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.333-342, 2007.
DOI : 10.1145/1321631.1321681

P. Brun and M. Beaudouin-lafon, A taxonomy and evaluation of formalisms for the specification of interactive systems, Conference of the British Human-Computer Interaction Group (HCI'95, pp.197-212, 1995.

R. C. Bryce and A. M. Memon, Test suite prioritization by interaction coverage. Workshop on Domain specific approaches to software test automation, 2007.
DOI : 10.1145/1294921.1294922

J. Chen and D. S. Weld, Recorvering from errors during programming by demonstration, ACM Digital Library, pp.159-168, 2008.
DOI : 10.1145/1378773.1378794
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.3421

J. Coutaz, Interfaces Homme-Ordinateur, Conception et Réalisation, 1990.

B. Curtis and B. Hefley, A wimp no more: the maturing of user interface engineering, interactions, vol.1, issue.1, pp.23-34, 1994.
DOI : 10.1145/174800.174803

A. Cypher, EAGER, Proceedings of the SIGCHI conference on Human factors in computing systems Reaching through technology, CHI '91, pp.33-39, 1991.
DOI : 10.1145/108844.108850

A. Cypher, EAGER, Proceedings of the SIGCHI conference on Human factors in computing systems Reaching through technology, CHI '91, pp.205-217, 1993.
DOI : 10.1145/108844.108850

A. Cypher, Introduction, pp.1-11, 1993.
DOI : 10.1007/978-1-4612-2612-3_1

A. Cypher, (ed) Watch What I Do: Programming by Demonstration, 1993.

A. Cypher, D. S. Kosbie, and D. Maulsby, Characterizing PBD Systemsed) Watch What I Do: Programming by Demonstration, pp.467-484, 1993.

D. 'ausbourg and B. , Using Model Checking for the Automatic Validation of User Interface Systems, Eurographics Workshop on Design, Specification and Validation of Interactive Systems (DSV-IS'98). SpringerWienNewYork, pp.242-260, 1998.

D. 'ausbourg, B. And-cazin, and J. , Using TRIO Specifications to Generate Test Cases for an Interactive System, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'99), pp.143-160, 1999.

D. 'ausbourg, B. Durrieu, G. , R. , and P. , Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV- IS'96, pp.105-122, 1996.

F. Depaulis, L. Guittet, M. , and C. , Apprends ce que je fais. 15ème Conférence Francophone sur l'Interaction Homme-Machine, pp.236-239, 2003.

A. Faaborg and H. Lieberman, A goal-oriented web browser, Conference on Human Factors in Computing Systems, CHI'06, pp.751-760, 2006.

P. Girard, Environnement de Programmation pour Non-Programmeur et Paramétrage en Conception Assistée par Ordinateur : le système LIKE. LISI/ENSMA, p.195, 1992.

P. Girard, Ingénierie des systèmes interactifs : vers des méthodes formelles intégrant l'utilisateur. LISI/ENSMA, p.92, 2000.

P. Girard and G. Pierra, Structures de contrôle générales en Programmation par Démonstration, Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine (IHM'95), 1995.

P. Girard, J. Potier, and G. Pierra, EBP: Example-Based programming in parametrics, 1996.

E. P. Glinert, Visual programming environments: paradigms and systems, 1990.

N. Guibert, Validation d'une approche basée sur l'exemple pour l'initiation à la programmation. LISI / ENSMA, p.246, 2006.

N. Guibert, L. Guittet, and P. Girard, Validation d'une approche ?? bas??e sur exemples ?? pour l'apprentissage de la programmation, Proceedings of the 17th conference on 17??me Conf??rence Francophone sur l'Interaction Homme-Machine , IHM 2005, 2005.
DOI : 10.1145/1148550.1148569

D. Halbert, Programming by Example. University of California, p.121, 1984.

D. Halbert, SmallStar: Programming by Demonstration in the Desktop Metaphored) Watch What I Do: Programming by Demonstration, pp.102-123, 1993.

B. Hartmann, L. Wu, K. Collins, and S. R. Klemmer, Programming by a sample, Proceedings of the 20th annual ACM symposium on User interface software and technology , UIST '07, 2007.
DOI : 10.1145/1294211.1294254

H. R. Hartson and D. Hix, The UAN: a user-oriented representation for direct manipulation interface designs, ACM Transactions on Information Systems, vol.8, issue.3, pp.181-203, 1992.
DOI : 10.1145/98188.98191

F. Jambon, From Formal Specifications to Secure Implementations Computer-Aided Design of User Interfaces (CADUI'2002) Kluwer Academics, pp.43-54, 2002.

F. Jambon, P. Brun, and Y. Aït-ameur, Spécifications des systèmes interactifs (chapitre 6)ed) Analyse et conception de l'I.H.M. / Interaction Homme-Machine pour les S.I, Hermès Science, vol.1, pp.175-206, 2001.

F. Jambon, P. Girard, and Y. Aït-ameur, Interactive System Safety and Usability Enforced with the Development Process, Safety and Usability Concerns in Aeronautics, 2000.
DOI : 10.1007/3-540-45348-2_8

V. Jérôme, Génération automatique de cas de test guidée par les propiétés de sûreté. Informatic, 2004.

K. Kahn, How Any Program Can Be Created by Working with Examples, Wish is My Command, pp.21-44, 2001.

D. S. Kosbie and B. A. Myers, Extending Programming by Demonstration With Hierarchical Event Histories. EWHCI'94, St, pp.147-157, 1994.

D. Kurlander and S. Feiner, A history-based macro by example system, Proceedings of the 5th annual ACM symposium on User interface software and technology , UIST '92, pp.99-115, 1992.
DOI : 10.1145/142621.142633

E. Lecolinet, Réification et réplication dans les interfaces graphiques : le toolkit Ubit, IHM'99, pp.9-12, 1999.

H. Lieberman, Mondrian, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '93, pp.341-360, 1993.
DOI : 10.1145/169059.169120

H. Lieberman, Tinker: A Programming by Demonstration System for Beginning Programmersed) Watch What I Do: Programming by Demonstration, pp.49-66, 1993.

H. Lieberman, Your Wish is my command, 2001.

H. Lieberman, B. A. Nardi, W. , and D. , Grammex, CHI 98 conference summary on Human factors in computing systems , CHI '98, pp.11-12, 1998.
DOI : 10.1145/286498.286504

H. Lieberman, F. Paternô, and V. Wulf, The Netherlands, 2006.

Q. Limbourg and J. Vanderdonckt, Comparing Task Models for User Interface Design (eds) The Handbook of Task Analysis for Human-Computer Interaction, 2003.

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, pp.83-90, 2005.
DOI : 10.1145/1148550.1148561

V. Lucquiaud, Sémantique et Outil pour la Modélisation des Tâches Utilisateur: N-MDA, p.285, 2005.

V. Lucquiaud, D. Scapin, J. , and F. , Outils de mod??lisation des t??ches utilisateurs, Proceedings of the 14th French-speaking conference on Human-computer interaction (Conf?rence Francophone sur l'Interaction Homme-Machine) , IHM '02, pp.243-246, 2002.
DOI : 10.1145/777005.777045

A. Macdonald, Visual programming, Datamation, vol.28, pp.132-140, 1982.

J. A. Macias, C. , and P. , Providing end-user facilities to simplify ontology-driven web application authoring, Interacting with Computers, vol.19, issue.4, pp.563-585, 2007.
DOI : 10.1016/j.intcom.2007.01.006

R. G. Mcdaniel and B. A. Myers, Gamut, Proceedings of the 10th annual ACM symposium on User interface software and technology , UIST '97, p.99, 1999.
DOI : 10.1145/263407.263515

M. A. Memon, L. , and S. M. , Regression testing of GUIs, ACM (ed) Foundations of Software Engineering, pp.118-127, 2003.

M. A. Memon, E. Martha, L. Pollack, and S. M. , Using a goal-driven approach to generate test cases for GUIs, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.257-266, 1999.
DOI : 10.1145/302405.302632

M. A. Memon, E. Martha, L. Pollack, and S. M. , Automated test oracles for GUIs, ACM SIGSOFT Software Engineering Notes, vol.25, issue.6, pp.30-39, 2000.
DOI : 10.1145/357474.355050

M. A. Memon, E. Martha, L. Pollack, and S. M. , Hierarchical GUI test case generation using automated planning, IEEE Transactions on Software Engineering, vol.27, issue.2, pp.144-155, 2001.
DOI : 10.1109/32.908959

F. Modugno and B. A. Myers, Graphical Representation and Feedback in a PbD Systemed) Watch What I Do: Programming by Demonstration, pp.415-422, 1993.

A. B. Myers, R. G. Mcdaniel, and D. Wolber, Programming by example: intelligence in demonstrational interfaces, Communications of the ACM, vol.43, issue.3, pp.82-89, 2000.
DOI : 10.1145/330534.330545

B. A. Myers, Visual Programming, Programming by Example, and Program Visualization: A Taxonomy, Human Factors in Computing Systems (CHI'86). ACM/SIGCHI, pp.59-66, 1986.

B. A. Myers, Creating User Interface by Demonstration, 1988.

B. A. Myers, Taxonomies of visual programming and program visualization, Journal of Visual Languages & Computing, vol.1, issue.1, pp.97-123, 1990.
DOI : 10.1016/S1045-926X(05)80036-9

B. A. Myers, Report on the end-user programming working group, Languages for Developing User Interfaces. Jones & Bartlett, pp.343-366, 1992.

B. A. Myers, PERIDOT: Creating User Interfaces by Demonstrationed) Watch What I Do: Programming by Demonstration, pp.125-154, 1993.

B. A. Myers, Why are User Interface Difficult to Design & Implement, 1993.

B. A. Myers, R. G. Mcdaniel, R. C. Miller, A. S. Ferrency, A. Faulring et al., The Amulet environment: new models for effective user interface software development, IEEE Transactions on Software Engineering, vol.23, issue.6, pp.347-365, 1997.
DOI : 10.1109/32.601073

D. A. Norman, User Centered System Design, 1986.

N. Normand, Le modèle SIROCO : de la spécification conceptuelle des interfaces utilisateur à leur réalisation, 1992.

P. Palanque, Spécifications formelles et systèmes interactifs : vers des systèmes fiables et utilisables, p.187, 1997.

F. Paternò, C. Mancini, and S. Meniconi, ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. IFIP TC13 human-computer interaction conference (INTERACT'97), pp.362-369, 1997.

F. Paternò, G. Mori, and R. Galimberti, CTTE, CHI '01 extended abstracts on Human factors in computing systems , CHI '01, 2001.
DOI : 10.1145/634067.634084

F. Paternò and C. Santoro, One model, many interfaces Computer-Aided Design of User Interfaces (CADUI'2002) Kluwer Academics, pp.143-154, 2002.

G. Patry, Contribution à la conception du dialogue Homme Machine dans les applications graphiques interactives de conception technique : le système GIPSE. LISI/ENSMA, p.199, 1999.

G. Patry and P. Girard, GIPSE: a Model-Based System for CAD, Third Conference on Computer-Aided Design of User Interfaces (CADUI'99). Kluwer Academics, pp.61-72, 1999.

P. P. Piernot and M. P. Yvon, The AIDE Project: An Application-Independent Demonstrational Environmented) Watch What I Do: Programming by Demonstration, pp.383-402, 1993.

G. Pierra, J. Potier, and P. Girard, The EBP system : Example Based Programming for Parametric Design (eds) Modelling and Graphics in Science and Technology, pp.124-140, 1996.

J. Potier, Conception sur exemple, mise au point et génération de programmes portables de géométrie paramétrée dans le système EBP, p.140, 1995.

M. Prabaker, L. Bergman, C. , and V. , An evaluation of using programmming by demonstration and guided walkthrough techniques for authoring and utilizing documentation, Conference on Human Factors in Computing Systems, CHI'06, pp.241-250, 2006.

A. Repenning and C. Perrone, Programming by Analogous Examples, Wish is My Command, pp.351-370, 2001.
DOI : 10.1016/B978-155860688-3/50019-1

K. S. Richard, D. , and P. S. , A method to automate user interface testing using variable finite state machines, FTCS '97: Proceedings of the 27th International Symposium on Fault-Tolerant Computing, p.80, 1997.

L. Sanou, Validation directe de la conformité d'une application interactive avec son modèle de tâches In: AFIHM (ed) 19e Conférence Internationnale sur l'IHM, pp.249-252, 2007.

L. Sanou, S. Caffiau, P. Girard, and L. Guittet, Example usage evaluation for the programming learning in the MELBA environment Interface and Human-Computer Interaction (IHCI) IADIS-MCCSIS, pp.35-42, 2008.

L. Sanou, P. Girard, and L. Guittet, Introducing Programming by Demonstration techniques at the toolkit level: a case study, ) HCI International. CD-ROM by, 2005.

L. Sanou, P. Girard, and L. Guittet, Comparaison de deux m??thodes pour impl??menter la programmation sur exemple, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06, pp.265-268, 2006.
DOI : 10.1145/1132736.1132780

L. Sanou, P. Girard, and L. Guittet, La programmation sur exemple : principe, utilisation et utilité pour les applications interactives, pp.201-208, 2006.
DOI : 10.1145/1132736.1132780

L. Sanou, P. Girard, and L. Guittet, Vers un outil pour la réalisation de système de programmation sur exemple, AFIHM (ed) RJC-IHM'06. AFIHM, 2006.

L. Sanou, P. Girard, L. Guittet, and S. Caffiau, Tester la conformité d'une interface hommemachine à son modèle de tâches, AFIHM (ed) IHM'08, pp.159-162, 2008.

L. Sanou, L. Guittet, and S. Caffiau, La programmation sur exemple pour l'automatisation des tests d'interfaces, pp.255-256, 2008.

D. Scapin, Guide ergonomique de conception des interfaces homme-machine, 1986.
URL : https://hal.archives-ouvertes.fr/inria-00070083

D. Scapin and C. Pierret-golbreich, MAD : Une méthode analytique de description des tâches. Colloque sur l'Ingénierie des Interfaces Homme-Machine (IHM'89), pp.131-148, 1989.

A. Shepherd, Analysis and training in information technology tasks (ed) Task Analysis for Human-Computer Interaction, pp.15-55, 1989.

B. Shneiderman, Direct Manipulation: A Step Beyond Programming Languages, Computer, vol.16, issue.8, pp.57-69, 1983.
DOI : 10.1109/MC.1983.1654471

B. Shneiderman, Designing the User Interface, 1998.

D. C. Smith, A Computer Program to Model and Stimulate Creative Thought, 1977.

D. C. Smith and A. Cypher, KidSim: Child Constructible simulation, pp.87-99, 1995.

D. C. Smith, A. Cypher, and L. Tesler, Novice Programming Comes of Age, Wish is My Command, pp.7-20, 2001.
DOI : 10.1016/B978-155860688-3/50002-6

D. C. Smith, R. Kimball, B. Verplank, and E. Harslem, Designing the Star User Interface, Byte, vol.7, pp.242-282, 1982.

J. Tarby, Evaluation précoce et conception orientée évaluation, pp.343-346, 2006.

G. Texier, Contribution à l'ingéniérie des systèmes interactifs : Un environnement de conception graphique d'applications spécialisées de conception, p.230, 2000.

D. Thévenin, Adaptation en Interaction Homme-Machine : le cas de la plasticité, p.213, 2001.

R. Tuchinda, P. Szekely, and C. A. Knoblock, Building Mashups by example, Proceedings of the 13th international conference on Intelligent user interfaces, IUI '08, pp.139-148, 2008.
DOI : 10.1145/1378773.1378792

D. Wells, Extreme Programming: a gentle introduction, 2006.

K. N. Whitley, L. R. Novick, and D. Fisher, Evidence in favor of visual representation for the dataflow paradigm: An experiment testing LabVIEW's comprehensibility, International Journal of Human-Computer Studies, vol.64, issue.4, pp.281-303, 2006.
DOI : 10.1016/j.ijhcs.2005.06.005

S. Wilson and P. Jonhson, Bridging the Generation Gap: From Task to User Interface Designs, Computer-Aided Design of User iterface (CADUI'96), pp.77-94, 1996.

W. R. Winston, Managing the development of large software systems: Concept and techniques, pp.1-9, 1970.

D. Wolber, Pavlov, Proceedings of the SIGCHI conference on Human factors in computing systems common ground, CHI '96, pp.252-269, 1996.
DOI : 10.1145/238386.238522

J. Wong, H. , and J. L. , Making mashups with marmite, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '07, pp.1435-1444, 2007.
DOI : 10.1145/1240624.1240842

W. Woods, Transition network grammars for natural language analysis, Communications of the ACM, vol.13, issue.10, pp.591-606, 1970.
DOI : 10.1145/355598.362773