L. Conception, D. Modeles-de-taches, and C. , 60 2.1. Le framework Pattern-Supported Approach (PSA) 60 2.2. L'outil Task Pattern Wizard, 61 2.3. L'outil Pattern In Modelling (PIM). 63 2.4. Le Framework Pattern-Driven and MBUI, p.66

B. Sur, L. C. Des, and C. De-taches, 79 4.2. Les Transformations de l'opération d'adaptation, p.135

.. Le-modèle-standard-générique-d-'ihm, 142 5.6. L'IHM d'enregistrement-généralisation, p.144

O. De and G. , 163 11.1. Projet d'IHM basique, p.165

O. De and C. De, 165 12.1. Le programme de commande élémentaire, p.13

M. Abed, Contribution À La Modélisation de La Tâche Par Des Outils de Spécification Exploitant Les Mouvements Oculaires: Appli-Cation À La Conception et L'évaluation Des Interfaces Homme-Machine, Thèse de Doctorat, 1990.

R. Abraham and M. Erwig, GoalDebug: A Spreadsheet Debugger for End Users, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.39

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.498

J. Abrial, The B-Book , Assigning Programs to Meanings, 1996.

A. X50-151, Management Par La Valeur -Expression Fonctionnelle Du Besoin et Cahier Des Charges Fonctionnel - Exigences Pour L'expression et La Validation Du Besoin À Satisfaire Dans Le Processus D'acquisition Ou D'obtention D'un Produit

. Aït-ameur, P. Yamine, F. Girard, and . Jambon, A Uniform Approach for the Specification and Design of Interactive Systems: The B Method, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'98) Proceeding, pp.333-52, 1998.

C. Alexander, The Timeless Way of Building, 1979.

C. Alexander, S. Ishikawa, M. Silverstein, M. Jacobson, I. Fikdahl-king et al., A Pattern Language: Towns, Buildings, Construction. Leonardo, vol.14, pp.10-2307, 1977.

W. Allegre, Flot de Conception Dirigée Par Les Modèles Pour La Commande et La Supervision de Systèemes Domotiques D ' Assistance Willy Alì To Cite This Version, 2012.

/. Ansi and . Isa, Instrumentation Symbols and Identification ANSI/ISA-5.1, 1984.

. Apple, Apple Style Guide, pp.1-197, 2013.

D. Y. Arzapalo and . Muñante, Une Approche Basée Sur l'Ingénierie Dirigée Par Les Modèles Pour Identifier, Concevoir et Évaluer Des Aspects Sécurité, Thèse de doctorat, 2014.

L. Bainbridge, C. Michael, and . Dorneich, Processes Underlying Human Performance Handbook of Aviation Human Factors, pp.107-71, 1999.

C. Bara, D. Popescu, and F. Filip, SCADA System for Ship Stabilization Designed Using an Expert System, IFAC Proceedings Volumes (IFAC-PapersOnline, 2013.
DOI : 10.3182/20130911-3-BR-3021.00014

C. Bâra, D. Popescu, and C. Lupu, Expert System for Generating SCADA Configurations with Practical Applications in the Naval Industry, In System Theory, Control and Computing (ICSTCC), 2012 16th International Conference, pp.1-6, 2012.

M. Barthet, Logiciels Interactifs et Ergonomie Modèles et Méthodes de Conception, Informatiq, 1988.

C. Bastien, Validation de Criteres Ergonomiques Pour L'evaluation D'interfaces Utilisateurs, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075133

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

E. Bayle, R. Bellamy, G. Casaday, T. Erickson, S. Fincher et al., Putting it all together, CHI 97 Workshop, pp.17-23, 1998.
DOI : 10.1145/280571.280580

L. Beckwith, M. Burnett, S. Wiedenbeck, C. Cook, S. Sorte et al., Effectiveness of end-user debugging software features, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '05, 2005.
DOI : 10.1145/1054972.1055094

S. Berti, F. Correani, and G. Mori, TERESA, Extended abstracts of the 2004 conference on Human factors and computing systems , CHI '04, 2004.
DOI : 10.1145/985921.985939

S. Berti, G. Mori, F. Paternò, and C. Santoro, An Environment for Designing and Developing Multi-Platform Interactive Applications Italy. https://www.researchgate.net/profile, In HCI Italy, pp.7-16, 2003.
DOI : 10.1145/964528.964530

R. Bévan, Approche Composant Pour La Commande Multi-Versions Des Systèmes Transitiques Reconfigurables, Thèse de doctorat, 2013.

A. Bignon, Génération Conjointe de Commandes et D'interfaces de Supervision Pour Systèmes Sociotechniques Reconfigurables, Thèse de doctorat, 2012.

B. W. Boehm, T. Defense, S. Group, W. Harry, T. Boehm et al., A spiral model of software development and enhancement, Computer, vol.21, issue.5, pp.61-72, 1988.
DOI : 10.1109/2.59

A. Boucher, Ergonomie Web : Pour Des Sites Web Efficaces, 2009.

L. Boulhic, A. Bignon, and F. Silone, Évaluation Expérimentale Du Codage Couleur Pour Une Interface de Supervision, 2016.

C. R. Bovell, . J. Richard, M. G. Carter, and . Beck, Nuclear Power Plant Control Room Operator Control and Monitoring Tasks, Oak Ridge, 1998.
DOI : 10.2172/663388

I. M. Breedvelt-schouten, F. Paternò, and C. Severijns, Reusable Structures in Task Models Design, Specification and Verification of Interactive Systems' 97, pp.225-264, 1997.

J. Brooke, SUS : A 'quick and Dirty' usability Scale, Usability Evaluation In Industry, pp.4-7, 1996.

M. Broy, C. Facchi, and R. Grosu, The Requirement and Design Specification Language SPECTRUM--an Informal Introduction, 1993.

P. Brusilovsky, Methods and Techniques of Adaptive Hypermedia, Adaptive Hypertext and Hypermedia, pp.1-43, 1998.
DOI : 10.1007/978-94-017-0617-9_1

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.7794

M. Burnett and C. Scaffidi, End-User Development. 2nded. Interaction Design foncation. https://www.interaction-design.org/literature/book/the-encyclopedia-of-human-computer-interaction-2nd, 2011.

S. Cabaret, Algorithmes de Contrôles Avancés Pour Les Installations À Gaz Du LHC Au CERN Suivant Le Framework et L'approche Dirigée Par Les Modèles Du Projet GCS, Thèse de doctorat, 2008.

S. Caffiau, Approche Dirigée Par Les Modèles Pour La Conception et La Validation Des Applications Interactives : Une Démarche Basée Sur La Modélisation Des Tâches, Thèse de doctorat, 2010.

G. Calvary, J. Coutaz, D. Thevenin, Q. Limbourg, L. Bouillon et al., A Unifying Reference Framework for multi-target user interfaces, Interacting with Computers, vol.15, issue.3, pp.289-308, 2003.
DOI : 10.1016/S0953-5438(03)00010-9

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4512

J. Cao, K. Rector, T. H. Park, S. D. Fleming, M. Burnett et al., A Debugging Perspective on End-User Mashup Programming, 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, pp.149-56, 2010.
DOI : 10.1109/VLHCC.2010.29

D. Caumont, Les Études de Marché Edited by Dunod. 4e édition, 2010.

T. Chintakovid, S. Wiedenbeck, M. Burnett, and V. Grigoreanu, Pair Collaboration in End-User Debugging, Visual Languages and Human-Centric Computing (VL/HCC'06), 2006.
DOI : 10.1109/VLHCC.2006.36

E. Ciapessoni, A. Coen-porisini, E. Crivelli, D. Mandrioli, A. Morzenti et al., From formal models to formally based methods: an industrial experience, ACM Transactions on Software Engineering and Methodology, vol.8, issue.1, pp.79-113, 1999.
DOI : 10.1145/295558.295566

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.6298

E. M. Clarke and J. M. Wing, Formal methods: state of the art and future directions, ACM Computing Surveys, vol.28, issue.4, pp.626-669, 1996.
DOI : 10.1145/242223.242257

URL : https://hal.archives-ouvertes.fr/hal-00444076

B. Combemale, Approche de Méetamodélisation Pour La Simulation et La Vérification de Modèle ? Application À L'ingénierie Des Procédés, Thèse de doctorat, 2008.

A. Conte, M. Fredj, J. Giraudin, and D. Rieu, P-Sigma : Un Formalisme Pour Une Représentation Unifiée de Patrons, XIXème Congrès INFORSID, pp.67-86, 2001.

D. Cook and S. Das, Smart Environments: Technology, Protocols and Applications, 2004.
DOI : 10.1002/047168659X

J. Coutaz, G. Calvary, A. Demeure, and L. Balme, Systèmes Interactifs et Adaptation Centrée Utilisateur: La Plasticité Des Interfaces Homme-Machine, Informatique et Intelligence Ambiante : Des Capteurs Aux Applications, pp.1-57, 2012.

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

M. Demuynck and B. Meyer, Les Langages de Spécification Bulletin de La Direction Des Etudes et Recherches d, pp.39-59, 1979.

A. Deursen, P. Van, and . Klint, Domain-Specific Language Design Requires Feature Descriptions, Journal of Computing and Information Technology, vol.10, issue.1, 2002.
DOI : 10.2498/cit.2002.01.01

M. E. Fagan, Design and code inspections to reduce errors in program development, IBM Systems Journal, vol.15, issue.3, pp.182-211, 1976.
DOI : 10.1147/sj.153.0182

H. Fanet, Instrumentation et Contrôle-Commande Des Installations Nucléaires, pp.9-11, 1997.

L. Ferrarini, A. Dedè, P. Salaun, T. Dang, and G. Fogliazza, Domain specific views in model-driven embedded systems design in industrial automation, 2009 7th IEEE International Conference on Industrial Informatics, pp.702-709, 2009.
DOI : 10.1109/INDIN.2009.5195889

S. Fiorèse and J. Meinadier, Découvrir et Comprendre l'Ingénierie Système, AFIS. CEPADUES, 2012.

G. Fischer and A. Girgensohn, End-user modifiability in design environments, Proceedings of the SIGCHI conference on Human factors in computing systems Empowering people, CHI '90, pp.183-92, 1990.
DOI : 10.1145/97243.97272

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.9011

. Frizon-de-lamotte and . Florent, Proposition D'une Approche Haut Niveau Pour La Conception, L'analyse et L'implantation Des Systèmes Reconfigurables, 2006.

A. Gaffar, D. Sinnig, A. Seffah, and P. Forbrig, Modeling patterns for task models, Proceedings of the 3rd annual conference on Task models and diagrams , TAMODIA '04, pp.99-104, 2004.
DOI : 10.1145/1045446.1045465

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns ? Elements of Reusable Object-Oriented Software. A New Perspective on Object-Oriented Design, 1995.

F. Gervais, EB4 : Vers Une Méthode Combinée de Spécification Formelle Des Système D'information, Thèse de doctorat, 2004.
DOI : 10.3166/isi.12.4.69-93

P. Girard, Environnement de Programmation Pour Non-Programmeur et Paramétrage En Conception Assistée Par Ordinateur : Le Système LIKE, 1992.

P. Girard, G. Patry, G. Pierra, and J. Potier, Deux Exemples D'utilisation de La Programmation Par Démonstration En Conception Assistée Par Ordinateur Revue Internationale de CFAO et D'informatique Graphique, pp.169-88, 1997.

O. Goubali, A. Bignon, P. Berruet, P. Girard, and L. Guittet, Anaxagore , Un Exemple D'ingénierie Dirigée Par Les Modèles Pour La Supervision Industrielle, ERGO'IA 2014, pp.58-65, 2014.

O. Goubali, P. Girard, L. Guittet, A. Bignon, P. Berruet et al., Designing Functional Specifications for Complex Systems, HCII 2016, pp.166-77, 2016.
DOI : 10.1007/978-3-319-39510-4_16

O. Goubali, P. Girard, L. Guittet, A. Bignon, L. Boulhic et al., Evalution D'un Outil D'aide À La Spécéifcation Fonctionnelle Des Systèmes Complexes, ERGO'IA 2016, 2016.

Å. Granlund, D. Lafrenière, and D. A. Carr, A Pattern-Supported Approach to the User Interface Design Process, HCI International 2001 9th International Conference on Human-Computer Interaction, pp.282-86, 2001.

M. Green, A survey of three dialogue models, ACM Transactions on Graphics, vol.5, issue.3, pp.244-75, 1986.
DOI : 10.1145/24054.24057

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

H. Hartson, D. Rex, and . Hix, Human-computer interface development: concepts and systems for its management, ACM Computing Surveys, vol.21, issue.1, pp.5-92, 1989.
DOI : 10.1145/62029.62031

URL : http://eprints.cs.vt.edu/archive/00000014/01/TR-85-07.pdf

K. Hinckley, R. J. Jacob, C. Ware, and J. Wobbrock, Input/Output Devices and Interaction Techniques, Dynamical Systems with Applications Using MATLAB, vol.53, pp.1-79, 2014.

A. Hugues, M. De, . De, and . Vie, DIFFERENTS, 2002.

J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen, Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-80, 2011.
DOI : 10.1145/1985793.1985858

R. J. Jacob, Q. Limbourg, and J. Vanderdonckt, Computer-Aided Design of User Interfaces IV, Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI, 2004.
DOI : 10.1007/1-4020-3304-4

A. Jalila and D. J. Mala, Object-oriented model-based specification languages, ACM SIGSOFT Software Engineering Notes, vol.39, issue.5, pp.1-4, 2014.
DOI : 10.1145/2659118.2659132

J. Jézéquel, S. Gérard, and B. Baudry, Le Génie Logiciel et l'IDM : Une Approche Unificatrice Par Les Modèles, L'ingénierie Dirigée Par Les Modèles, pp.54-69, 2006.

P. Johnson, S. Wilson, P. Markopoulos, and J. Pycock, ADEPT -Advanced Design Environment for Prototyping with Task Models, The INTERACT'93 and CHI'93 Conference on Human Factors in Computing Systems, p.56, 1993.

C. B. Jones, Software Development : A Rigorous Approach, 1980.

K. Kahn, Generalizing by Removing Detail, pp.1-17, 2000.
DOI : 10.1016/B978-155860688-3/50003-8

C. Khalil, Les Méthodes 'agiles' de Management de Projets Informatiques : Une Analyse 'par La Pratique, 2011.

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes et al., Aspect-Oriented Programming, European Conference on Object-Oriented Programming, pp.220-262, 1997.

A. Kluge, Controlling Complex Technical Systems: The Control Room Operator's Tasks in Process Industries The Acquisition of Knowledge and Skills for Taskwork and Teamwork to Control Complex Technical Systems, pp.11-47, 2014.

A. J. Ko, B. Myers, and H. H. Aung, Six Learning Barriers in End-User Programming Systems, IEEE Symposium on Visual Languages -Human Centric Computing, pp.199-206, 2004.

A. J. Ko, R. Abraham, L. Beckwith, A. Blackwell, M. Burnett et al., The state of the art in end-user software engineering, ACM Computing Surveys, vol.43, issue.3, pp.1-44, 2011.
DOI : 10.1145/1922649.1922658

A. J. Ko and . Myers, Development and Evaluation of a Model of Programming Errors Development and Evaluation of a Model of Programming Errors, IEEE Symposium. Human Centric Computing Languages and Environments, 2003.

C. Kolski, Exemple de Développement D'un Outil D'ingénierie Pour La Conception D'interface: Le Système ERGO CONCEPTOR, Ingénierie Des Interfaces Homme Machine Conception et Évaluation, 1993.

C. Kolski and H. Ezzedine, Conception et Évaluation Des IHM de Supervision : Éléments Méthodologiques, Revue Génie Logiciel, vol.65, pp.2-11, 2003.

C. Kolski, H. Ezzedine, and M. Abed, Cycle de Développement Du Logiciel : Des Cycles Classiques Aux Cycles Enrichis Sous L'angle Des Interactions Homme-Machine, Analyse et Conception de l'IHM, Interaction Homme- Machine Pour Les S.I., Hermès, pp.2-11, 2001.

B. Krieg-brückner, PROgram Development by SPECification and TRAnsformation, Technique et Science Informatiques (TSI), vol.9, pp.134-183, 1990.

T. Lachaume, P. Girard, L. Guittet, and A. Fousse, ProtoTask, New Task Model Simulator, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) LNCS, vol.7623, pp.323-353, 2012.

T. Lachaume, L. Guittet, P. Girard, and A. Fousse, Task Model Simulators : A Review, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01168259

M. Lajnef, M. B. Ayed, and C. Kolski, Convergence possible des processus du data mining et de conception-??valuation d'IHM, Proceedings of the 17th conference on 17??me Conf??rence Francophone sur l'Interaction Homme-Machine , IHM 2005, pp.243-289, 2005.
DOI : 10.1145/1148550.1148587

J. Lallican, Proposition D'une Approche Composant Pour La Conception de La Commande Des Systèmes Transitiques, Thèse de doctorat, 2007.

P. Leitão, Agent-based distributed manufacturing control: A state-of-the-art survey, Engineering Applications of Artificial Intelligence, vol.22, issue.7, pp.979-91, 2009.
DOI : 10.1016/j.engappai.2008.09.005

S. Lepreux, M. Abed, and C. Kolski, A human-centred methodology applied to decision support system design and evaluation in a railway network context, Cognition, Technology & Work, vol.5, issue.4, pp.248-271, 2003.
DOI : 10.1007/s10111-003-0128-9

G. Leshed, E. M. Haber, T. Matthews, and T. Lau, CoScripter, Proceeding of the twenty-sixth annual CHI conference on Human factors in computing systems , CHI '08, pp.1719-1747, 2008.
DOI : 10.1145/1357054.1357323

A. Lewandowski, G. Bourguin, and J. Tarby, De l'Orienté Objet À l'Orienté Tâches ? Des Modèles Embarqués Pour L' Intégration et Le Traçage D'un Nouveau Type de Composants, Interaction Homme-Machine, vol.8, pp.1-33, 2007.

H. Lieberman, Your Wish Is My Command, 2001.

H. Lieberman, F. Paternò, M. Klann, and V. Wulf, End-User Development: An Emerging Paradigm, End User Development, vol.9, pp.1-8, 2006.
DOI : 10.1007/1-4020-5386-X_1

J. Lin, W. Mark, J. I. Newman, J. Hong, and . Landay, DENIM, CHI '01 extended abstracts on Human factors in computing systems , CHI '01, pp.205-211, 2001.
DOI : 10.1145/634067.634190

Q. Liu, K. Nakata, and K. Furuta, Display Design of Process Systems Based on Functional Modelling, Cognition, Technology & Work, vol.4, issue.1, pp.48-63, 2002.
DOI : 10.1007/s101110200004

J. Long and I. Denley, Evaluation for Patrice, Ergonomics Society Annual Conference, 1990.

H. Ltifi, Démarche Centrée Utilisateur Pour La Conception de SIAD Basés Sur Un Processus d'Extraction de Connaissances À Partir de Données, Application À La Lutte Contre Les Infections Nosocomiales, Thèse de doctorat, 2011.

K. Luyten, Dynamic User Interface Generation for Mobile and Embedded Systems with Model-Based User Interface Development, Transnationale Universiteit Limburg, 2004.

K. Luyten, T. Clerckx, K. Coninx, and J. Vanderdonckt, Derivation of a Dialog Model from a Task Model by Activity Chain Extraction, DSV-IS'2003, pp.203-220, 2003.
DOI : 10.1007/978-3-540-39929-2_14

D. Marca and C. L. Mcgowan, SADT : Structured Analysis and Design Technique, 1988.

D. A. Marco and C. Mcgowan, SADT: Structured Analysis and Design Technique, 1987.

C. Martinie, Une Approche À Base de Modèles Synergiques Pour La Prise En Compte Simultanée de L'utilisabilité, La Fiabilité et L'opérabilité Des Systèmes Interactifs Critiques, Thèse de doctorat, 2011.

T. Mcavinew and R. Mulley, Control System Documentation. The Instrumentation, Systems, and Automation Society, 2004.

R. G. Mcdaniel and B. A. Myers, Getting more out of programming-by-demonstration, Proceedings of the SIGCHI conference on Human factors in computing systems the CHI is the limit, CHI '99, pp.442-491, 1999.
DOI : 10.1145/302979.303127

J. Mcdermid and K. Ripken, Life cycle support in the Ada environment, ACM SIGAda Ada Letters, vol.III, issue.1, 1984.
DOI : 10.1145/998373.998379

G. Meixner, G. Calvary, and J. Coutaz, Introduction to Model-Based User Interfaces Universal Access in the Information Society, 2013.

P. Meixner and V. , Past, Present, and Future of Model-Based User Interface Development, i-com, vol.10, issue.3, pp.2-11, 2011.
DOI : 10.1524/icom.2011.0026

T. Mens, K. Czarnecki, and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-167, 2006.
DOI : 10.1016/j.entcs.2005.10.021

T. Mens, C. Lucas, and P. Steyaert, Supporting Reuse and Evolution of UML Models, International Conference on the Unified Modeling Language, pp.378-98, 1998.

. Mesli-kesraoui, D. Soraya, F. Kesraoui, A. Oquendo, A. Bignon et al., Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams, European Conference on Software Architecture, pp.1-16, 2016.
DOI : 10.1007/978-3-642-11811-1_11

URL : https://hal.archives-ouvertes.fr/hal-01440744

. Mesli-kesraoui, A. Soraya, A. Toguyeni, F. Bignon, D. Oquendo et al., Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components, IFAC-PapersOnLine, vol.49, issue.19, pp.1-6, 2016.
DOI : 10.1016/j.ifacol.2016.10.603

URL : https://hal.archives-ouvertes.fr/hal-01441587

. Microsoft, Style Guide for Frendch, 2014.

P. Millot, Coopération Homme-Machine : Exemple de La Téléopération, Acte Des Journées GR Automatique -Groupe Coopération Homme-Machine, 1990.

M. L. Minsky, Minsky -Matter, Mind and Models, International Federation of Information Processing Congress, vol.1, pp.45-49, 1968.

F. Modugno and . Myers, Visual Programming in a Visual Shellâ? " A Unified Approach, Jvlc, vol.8, pp.491-522, 1997.

Y. Mollard, T. Munzer, A. Baisero, M. Toussaint, and M. Lopes, Robot programming from demonstration, feedback and transfer, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp.1825-1856, 2015.
DOI : 10.1109/IROS.2015.7353615

URL : https://hal.archives-ouvertes.fr/hal-01203350

. Moussa, Vers Une Méthodologie Globale de Conception et de Génération Semi-Automatique Des IHM Pour Les Systèmes Industriels, 2005.

F. Moussa, M. Kolski, and . Riahi, A model based approach to semi-automated user interface generation for process control interactive applications, Interacting with Computers, vol.12, issue.3, pp.245-79, 2000.
DOI : 10.1016/S0953-5438(99)00014-4

. Müller, VDM?The Vienna Development Method Bachelor Thesis in" Formal Methods in Software ?, 2009.

B. Myers, Scripting graphical applications by demonstration, Proceedings of the SIGCHI conference on Human factors in computing systems, CHI '98, pp.534-575, 1998.
DOI : 10.1145/274644.274716

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.7658

B. Myers and R. Mcdaniel, Demonstrational Interfaces: Sometimes You Need a Little Intelligence, Sometimes You Need a Lot, Your Wish Is My Command: Programming by Example, pp.45-60, 2000.

. Myers and . Buxton, Creating Highly-Interactive and Graphical User Interfaces by Demonstration, pp.1-21, 1986.
DOI : 10.1145/15922.15914

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.3325

J. Nielsen and R. Molich, Heuristic evaluation of user interfaces, Proceedings of the SIGCHI conference on Human factors in computing systems Empowering people, CHI '90, 1990.
DOI : 10.1145/97243.97281

V. Normand, Le Modèle SIROCO: De La Spécification Conceptuelle Des Interfaces Utilisateur À Leur Réalisation, Thèse de doctorat, 1992.

R. Oliveira, S. Dupuy-chessa, and G. Calvary, Plasticity of user interfaces, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '15, pp.260-65, 2015.
DOI : 10.1145/2774225.2775078

URL : https://hal.archives-ouvertes.fr/hal-01247489

S. Oney and B. Myers, FireCrystal: Understanding interactive behaviors in dynamic web pages, 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp.105-113, 2009.
DOI : 10.1109/VLHCC.2009.5295287

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.9682

O. T. Garmisch, Conférences Célèbres Du Comité Scientifique de l, 1968.

P. Palanque, R. Bastide, and M. Winckler, Automatic Generation of Interactive Systems: Why a Task Model Is Not Enough | Remi Bastide -Academia.edu, Human-Computer Interaction: Theory and Practice, pp.198-202, 2003.

T. Pandey and S. Srivastava, Comparative Analysis of Formal Specification Languages Z, VDM and B, International Journal of Current Engineering and Technology E-ISSN, vol.5, issue.3, pp.2277-4106, 2015.

S. Panjaitan and G. Frey, Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems, 2006 IEEE Conference on Emerging Technologies and Factory Automation, pp.766-73, 2006.
DOI : 10.1109/ETFA.2006.355405

. Paternò, 2012. Model-Based Design and Evaluation of Interactive Applications

F. Paternò and G. P. Faconti, On the LOTOS Use to Describe Graphical Interaction People and Computers, pp.155-73, 1992.

M. Paterno, N. Ilse-breedvelt-schouten, and . Koning, Deriving Presentations from Task Models, 1999.
DOI : 10.1007/978-0-387-35349-4_18

C. Paternò, S. Mancini, and . Meniconi, ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, 1997.
DOI : 10.1007/978-0-387-35175-9_58

. Pfaff and E. Günther, User Interface Management Systems In The Workshop on User Interface Management Systems. Seeheim: Springer. https://books.google.fr/books?hl=fr&lr=&id=RN- pCAAAQBAJ&oi=fnd&pg=PA3&dq=User+Interface+Management+Systems+Pfaff+1985&ots=9fGTii5J8j&sig=4N2ykWu7- UFBnt06qz6FQE3FP_w#v=onepage&q=User Interface Management Systems Pfaff, 1983.

H. Pham, System Software Reliability, 2006.
DOI : 10.1007/1-84628-295-0

P. P. Piernot and M. P. Yvon, A Model for Incremental Construction of Command Trees, HCI'95, pp.169-79, 1995.

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, 1995.

S. Prat, P. Rauffet, P. Berruet, and A. Bignon, A Multi-Level Requirements Modeling for Sociotechnical System Simulation-Based Checking A Multi-Level Requirements Modeling for Sociotechnical System Simulation-Based Checking, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01358015

S. Prat, P. Rauffet, A. Bignon, and P. Berruet, Vers L'intégration D'une Approche de Génération Automatique de Modele de Simulation Dans Un Flot de Conception de Contrôle -Commande Génération Automatique de Modèles de Simulation Dans Un Flot de Conception : Approche et Outils, JDJN MACS, 2015.

A. R. Puerta and D. Maulsby, MOBI-D, CHI '97 extended abstracts on Human factors in computing systems looking to the future, CHI '97, pp.4-5, 1997.
DOI : 10.1145/1120212.1120215

. Qt, Qt | Cross-Platform Software Development for Embedded & Desktop, 2016.

F. Radeke, . Forbrig, . Seffah, . Sinnig, . Coninx et al., PIM Tool: Support for Pattern-Driven and Model-Based UI Development, Task Models and Diagrams for Users Interface Design, pp.82-96, 2006.
DOI : 10.1007/978-3-540-70816-2_7

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.4388

F. Radeke, Patterns in Task-Based Modeling of User Interfaces In Task Models and Diagrams for User Interface Design, pp.184-97, 2007.

Ó. Ramón, J. Sánchez, J. Sánchez-cuadrado, J. García-molina, and . Vanderdonckt, A layout inference algorithm for Graphical User Interfaces, Information and Software Technology, vol.70, pp.155-75, 2016.
DOI : 10.1016/j.infsof.2015.10.005

D. Raneburger, R. Popp, and J. Vanderdonckt, An automated layout approach for model-driven WIMP-UI generation, Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, EICS '12, 2012.
DOI : 10.1145/2305484.2305501

P. Rauffet, G. Morel, P. Berruet, and C. Chauvin, Approche Pluridisciplinaire Pour La Conception Des Systèmes Sociotechniques, Journal National de La Recherche En IUT, vol.4, pp.1-12, 2013.

B. Y. Ravichandran and M. Rothenberger, Software reuse strategies and component markets, Communications of the ACM, vol.46, issue.8, pp.109-123, 2003.
DOI : 10.1145/859670.859678

J. Rechard, Introduction de Critères Ergonomiques Dans Un Système de Gération Automatique D ' Interface de Supervision, Thèse de doctorant, 2015.

J. Rechard, A. Bignon, P. Berruet, and T. Morineau, Verification and validation of a work domain analysis with Turing machine task analysis, Proceedings of the 2014 Ergonomie et Informatique Avanc??e Conference, Design, Ergonomie et IHM: quelle articulation pour la co-conception de l'interaction on, Ergo'IA '14, pp.265-73, 2015.
DOI : 10.1145/2671470.2671477

G. Rothermel, L. Li, C. Dupuis, and M. Burnett, What you see is what you test: a methodology for testing form-based visual programs, Proceedings of the 20th International Conference on Software Engineering, pp.198-207, 1998.
DOI : 10.1109/ICSE.1998.671118

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.277

M. Rothermel, L. Burnett, C. Li, A. Dupuis, and . Sheretov, A methodology for testing spreadsheets, ACM Transactions on Software Engineering and Methodology, vol.10, issue.1, pp.110-157, 2001.
DOI : 10.1145/366378.366385

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.9177

S. Rugaber and K. Stirewalt, Model-driven reverse engineering, IEEE Software, vol.21, issue.4, pp.45-53, 2004.
DOI : 10.1109/MS.2004.23

J. Ruvini and C. Dony, Learning Users' Habits to Automate Repetitive Tasks Lierberman, H Your Wish Is My Command: Programming by Example, pp.271-95, 2001.
DOI : 10.1016/b978-155860688-3/50015-4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.1337

K. Samaan, Prise En Compte Du Modèle d'Interaction Dans Le Processus de Construction et d'Adaptation d'Applications Interactives Laboratoire Interaction Collaborative Téléformation Téléactivités (ICTT), Thèse de doctorat, 2006.

D. Sannella and A. Tarlecki, Toward formal development of programs from algebraic specifications: Implementations revisited, Acta Informatica, vol.25, issue.3, pp.233-81, 1988.
DOI : 10.1007/BF00283329

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.7653

L. Sanou, Définition et Réalisation D'une Boîte À Outils Générique Dédiée À La Programmation Sur Exemple, Thèse de doctorat, 2008.

C. Scaffidi, Sharing, finding and reusing end-user code for reformatting and validating data, Journal of Visual Languages & Computing, vol.21, issue.4, pp.230-275, 2010.
DOI : 10.1016/j.jvlc.2010.06.001

A. Seffah, Patterns of HCI Design and HCI Design of Patterns: Bridging HCI Design and Model-Driven Software Engineering, Edited by Desney Tan and Jean Vanderdonckt. Media. Human-Comp, 2015.
DOI : 10.1007/978-3-319-15687-3

J. Segal, Design Planning in End-User Web Development, Proceedings -IEEE Symposium on Visual Languages and Human-Centric Computing, pp.189-96, 2007.

B. Senach, Evaluation Ergonomique Des Interfaces Homme-Machine : Une Revue de La Littérature, 1990.

R. Singh, International Standard ISO/IEC 12207 Software Life Cycle Processes Software Process: Improvement and Practice, 1<35::AID-SPIP29>3.0.CO, pp.35-502, 1996.
DOI : 10.1002/(sici)1099-1670(199603)2:1<35::aid-spip29>3.3.co;2-v

D. Sinnig, The Complicity of Patterns and Model-Based UI Development, 2004.

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

I. Sommerville, Software Engineering 10th. Hardcover. Pearson Education, 1970.

J. Sottet, G. Calvary, J. Favre, and J. Coutaz, IHM & IDM : Un Tandem Prometteur, Ergo'IA, 2006.

J. M. Spivey, An introduction to Z and formal specifications, Software Engineering Journal, vol.4, issue.1, pp.40-50, 1989.
DOI : 10.1049/sej.1989.0006

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.6155

N. Subrahmaniyan, C. Kissinger, K. Rector, D. Inman, J. Kaplan et al., Enhancing the Programmability of Spreadsheets with Logic Programming, Proceedings -IEEE Symposium on Visual Languages and Human-Centric Computing, pp.87-94, 2007.

P. Szekely, Retrospective and Challenges for Model-Based Interface Development Design, Specification and Verification of Interactive Systems '96, pp.1-27, 1996.

G. Texier, Contribution À L'ingénierie Des Systèmes Interactifs : Un Environnement de Conception Graphique D'applications Spécialisées de Conception, Thèse de doctorat, 2000.

K. Thramboulidis, IEC 61499: Back to the well proven practice of IEC 61131?, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), pp.1-8, 2012.
DOI : 10.1109/ETFA.2012.6489672

H. Traetteberg, Model-Based User Interface Design, Science And Technology, 2002.

V. Tran, J. Vanderdonckt, M. Kolp, and S. Faulkner, Generating User Interface from Task, User and Domain Models, 2009 Second International Conference on Advances in Human-Oriented and Personalized Mechanisms, Technologies, and Services, pp.19-26, 2009.
DOI : 10.1109/CENTRIC.2009.24

S. Trudel, Using the COSMIC Functional Size Measurement Method (ISO 19761) as a Software Requierements Improvement Mechanism, Thèse de doctorat, 2012.

R. Turton, R. C. Bailie, W. B. Whiting, and J. A. Shaelwitz, Analysis, Synthesis and Design of Chemical Processes Third Edition, Journal of Chemical Information and Modeling, vol.53, 2008.

J. Vanderdonckt, Knowledge-Based Systems for Automated User Interface Generation: The TRIDENT Experience, Proceedings of the CHI, 1995.

J. Vanderdonckt and F. Bodart, Encapsulating knowledge for intelligent automatic interaction objects selection, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '93, pp.424-453, 1993.
DOI : 10.1145/169059.169340

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5290

J. Vanderdonckt and X. Gillo, Visual techniques for traditional and multimedia layouts, Proceedings of the workshop on Advanced visual interfaces , AVI '94, pp.95-104, 1994.
DOI : 10.1145/192309.192334

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.6893

T. Vepsäläinen, D. Hästbacka, and S. Kuika, Ool Support for the UML Automation Profile-for Domain-Specific Software Development in Manufacturing, Software Engineering Advances ICSEA'08. The Third International Conference, pp.43-50, 2008.

K. J. Vicente, Cognitive Work Analysis Toward Safe, Productive, and Healthy Computer-Based Work [Book Review], IEEE Transactions on Professional Communication, vol.46, issue.1, 1999.
DOI : 10.1109/TPC.2002.808348

D. Vie, S. Le, and . Donald, Understanding Data Flow Diagrams, Proceedings of the Annual Conference on Society for Technical Communication, pp.396-401, 2000.

V. Vyatkin, The IEC 61499 standard and its semantics, IEEE Industrial Electronics Magazine, vol.3, issue.4, pp.40-48, 2009.
DOI : 10.1109/MIE.2009.934796

K. Wiegers and J. Beatty, Software Requirements, 2013.

M. Wirsing, Algebraic Specification Languages: An Overview In Recent Trends in Data Type Specification, pp.81-115, 1995.
DOI : 10.1007/bfb0014423

A. Wolff, P. Forbrig, A. Dittmar, and D. Reichart, Linking GUI Elements to Tasks -Supporting an Evolutionary Design Process, 4th International Workshop on Task Models and Diagrams, pp.27-34, 2005.
DOI : 10.1145/1122935.1122941

P. Wolff and . Forbrig, Deriving User Interfaces from Task Models Sanibel Island, USA: CEUR-WS. http://sunsite.informatik.rwth-aachen, MDDAUI'09, 2009.

M. Wurdel, P. Sinnig, and . Forbrig, {CTML}: Domain and Task Modeling for Collaborative Environments, Journal of Universal Computer Science, vol.14, pp.3188-3201, 2008.

M. Zaki and P. Forbrig, Towards the Generation of Assistive User Interfaces for Smart Meeting Rooms Based on Activity Patterns, Ambient Intelligence, pp.288-95, 2012.
DOI : 10.1007/978-3-642-34898-3_19

M. X. Zhou and S. K. Feiner, Top-down hierarchical planning of coherent visual discourse, Proceedings of the 2nd international conference on Intelligent user interfaces , IUI '97, pp.129-165, 1997.
DOI : 10.1145/238218.238314

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.4716