, Graphiques 1.6 et 10.9. Le plus grand défi des migrants de retour est de trouver un emploi

G. Développement-de, ALGORITHME

. .. Perspectives and R. Formalisme-de, 7.4. E xhaustivité de la couverture publique de la dépendance dans la zone OCDE, 2008, vol.154

M. Bousseyroux, Le n?ud borroméen et la question de la folie. Ce qui s'apprend de Joyce, L'en-je lacanien, vol.23, issue.2, p.75, 2014.

, En Belgique : une fonction économique de premier plan à la SNI mais aussi une carrière académique et une réflexion toujours enrichie par le club de La Relève, Fernand Herman

, Les principes généraux permettant de déterminer la loi du contrat et leur application en matière bancaire, Recueil des Cours, Collected Courses, Volume 131 (2007), pp.8-17

, Création d'emploi et stratégie de développement, 1993.

A. Contandriopoulos, Chapitre 13. Les soins de proximité : une exigence et un devoir, Les enjeux éthiques de la limite des ressources en santé, pp.125-129

, LE DÉCLIN DU TEMPS CONSACRÉ À LA CULTURE?, Que faisons-nous de notre temps?, pp.73-86

M. Bicaise, La maniere de regler la santé par ce qui nous enuironne, par ce que nous receuons, et par les exercices, ou par la gymnastique moderne. : Le tout appliqué au peuple de France, & pour seruir d'exemple quelquefois aux habitans de la ville d'Aix. /, vol.96, 1669.

, nous-avons-vcu-dans-lobscurit-un-agenda-des-droits-humains-pour-le-nouveau-gouvernement-guinen, Couverture de l'analyse Nous avons défini dans notre formalisme un opérateur d'égalité des formes (pour , dans notre processus de vérification des exigences graphiques du TCAS

A. Krieg-planque, Un lieu discursif : « Nous ne pourrons pas dire que nous ne savions pas ». Étude d?une mise en discours de la morale, Mots, issue.92, pp.103-120, 2010.
URL : https://hal.archives-ouvertes.fr/halshs-01150002

, Les politiques de réduction des inégalités de développement humain au XXIe siècle : nous avons le choix, Rapport sur le développement humain 2019, pp.247-285, 2020.

, HUG 28, ff. 122r, inc. Nous avons un lieu pour habiter, teractifs. Nous avons réussi à vérifier certaines exigences graphiques d'un système aéronautiques

F. Saint-ramond, « Pourquoi sommes?nous ici ? Que faisons?nous ici ? », Les Désorientés, 2019.

R. De, Indices de connexion des marchés, vol.96, 2013.

F. Court-perez, Celle-ci et celle-là de Gautier et Les Deux Maîtresses de Musset, ou les aventures ratées de deux jeunes excentriques, Littératures, vol.61, issue.1, pp.47-58, 2009.

, TRAVAILLONS-NOUS PLUS OU MOINS?, Que faisons-nous de notre temps?, pp.35-46

?. , Prenons le cas de l'intersection d'un élément graphique e avec lui-même : e ? ? e ?¬d(e) ? ¬d(e) ? ?(x 1 , y 1 ) ? D(e)

D. Stark, Sommes-nous toujours au siècle des transitions ? Le capitalisme est-européen et la propriété «recombinante», Politix, vol.12, issue.47, pp.89-129, 1999.

C. Mayeur, La relation de l?artiste avec l?entreprise :, L'entreprise et l'art, pp.83-96, 2017.

. L'opérateur-?-est and . Commutatif, nous pouvons donc écrire : ¬d(e 1 ) ? ¬d(e 2 ) ? ¬d(e 2 ) ? ¬d

. L'opérateur-=-est and . Commutatif, nous pouvons donc écrire

, IEEE Guide--Adoption of the Project Management Institute (PMI(R)) Standard A Guide to the Project Management Body of Knowledge (PMBOK(R) Guide)--Fourth Edition, IEEE P1490/D1, pp.1-505

G. P. Gambarani, Traffic Alert and Collision Avoidance System (TCAS II) Transition Program, SAE Technical Paper Series, 1990.

A. John and . Bargh, The Four Horsemen of Automaticity : Awareness, Efficiency, Intention, and Control in Social Cognition, vol.2, 1994.

J. R. Abrial, A. Hoare, and P. Chapron, The B-Book, vol.01, 1996.

J. Abrial, Modeling in Event-B, 2009.

Y. Ait-ameur, I. Ait-sadoune, J. Mota, and M. Baron, Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine - IHM '06, vol.1, pp.1-30, 2006.

A. Mga-ament, A. Cox, D. Blandford, and . Brumby, Working memory load affects device-specific but not task-specific error rate, CogSci 2010 : Proceedings of the Annual Conference of the Cognitive Science Society, pp.91-96, 2010.

H. Anderson and G. Ciobanu, Markov abstractions for probabilistic pi-calculus, Electronic Communications of the EASST, vol.22, p.161, 2009.

M. Arapinis, M. Calder, L. Denis, M. Fisher, P. Gray et al., Chris Unsworth, and Rehana Yasmin. Towards the verification of pervasive systems

, Angewandte Aromatherapie, PrimaryCare, vol.9, issue.01, pp.22-22, 2009.

C. M. Jos and . Baeten, A brief history of process algebra, Process Algebra, vol.335, pp.131-146, 2005.

C. Baier and J. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

E. Bainomugisha, T. Andoni-lombide-carreton, and . Van-cutsem, Stijn Mostinckx, and Wolfgang de Meuter. A survey on reactive programming

E. Bainomugisha, A. L. Carreton, T. V. Cutsem, S. Mostinckx, and W. D. Meuter, A survey on reactive programming, ACM Computing Surveys, vol.45, issue.4, pp.1-34, 2013.

R. Banach, J. Razavi, S. Lesecq, O. Debicki, N. Mareau et al., Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX, Complex Systems Design & Management, vol.5, pp.3-15, 2018.

M. A. Barbosa, L. S. Barbosa, and J. C. Campos, Towards a Coordination Model for Interactive Systems, Electronic Notes in Theoretical Computer Science, vol.183, pp.89-103, 2007.

M. Barnett, K. R. Leino, and W. Schulte, The Spec# Programming System: An Overview, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, vol.3362, pp.49-69, 2005.

E. J. Bass, M. L. Bolton, K. M. Feigh, D. Griffith, E. Gunter et al., Toward a multi-method approach to formalizing human-automation interaction and human-human communications, 2011 IEEE International Conference on Systems, Man, and Cybernetics, vol.45, p.2011, 2011.

M. Beaudouin-lafon, Designing interaction, not interfaces, Proceedings of the working conference on Advanced visual interfaces - AVI '04, pp.15-22, 2004.

B. Beckert and G. Beuster, First IEEE International Workshop on Horizontal Interactive Human-Computer Systems - Cover, First IEEE International Workshop on Horizontal Interactive Human-Computer Systems (TABLETOP '06), 2006.

V. Becquet, Graphique 12.22. Réduction du taux de létalité des IAM entre 2001 et 2011 (sur la base des admissions, dans les 30 jours suivant une admission pour IAM dans le même hôpital, pour les patients âgés d?au moins 45 ans)

V. Becquet, C. Letondal, J. Vinot, and S. Pauchet, How do Gestures Matter for Mutual Awareness in Cockpits?, Proceedings of the 2019 on Designing Interactive Systems Conference, pp.593-605, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02134640

P. Béger, V. Becquet, S. Leriche, and D. Prun, Graphique 7.16 Progrès dans l'utilisation des systèmes nationaux pour assurer la coopération au développement, Afadl 2019, 18èmes journées Approches Formelles dans l'Assistance au Developpement de Logiciels, Toulouse

P. Béger, S. Leriche, and D. Prun, A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops, Lecture Notes in Computer Science, pp.443-464, 2020.

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, Lecture Notes in Computer Science, pp.200-236, 2004.

F. Bérard and R. Blanch, Two touch system latency estimators, Proceedings of the 2013 ACM international conference on Interactive tabletops and surfaces - ITS '13, pp.241-250, 2013.

J. Bertin and M. Barbut, Sémiologie graphique : les diagrammes, les réseaux, les cartes. Gauthier Villars, 1973.

C. Bhandal, M. Bouroche, and A. Hughes, An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker, 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing, vol.45, 2011.

S. Bhattacharya and A. Basu, Some issues in modeling the performance of soft keyboards with scanning, Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2007.

A. Blandford and D. Furniss, DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems, Interactive Systems. Design, Specification, and Verification, pp.26-38, 2006.

M. D. Gilroy and . Harrison, Erratum, Vorticity and Vortex Dynamics, pp.777-780, 2006.

S. Boldo, C. Lelay, and G. Melquiond, Formalization of real analysis: a survey of proof assistants and libraries, Mathematical Structures in Computer Science, vol.26, issue.7, pp.1196-1233, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00806920

J. Bonnefon, D. Longin, and M. Nguyen, Relation of Trust and Social Emotions: A Logical Approach, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, vol.22, 2009.

J. Bouchet, L. Madani, L. Nigay, C. Oriat, and I. Parissis, Formal Testing of Multimodal Interactive Systems, Engineering Interactive Systems, pp.36-52, 2008.

, Tagebuch, Engineering Interactive Systems, pp.36-52, 1925.

S. Bouzit, G. Calvary, D. Chêne, and J. Vanderdonckt, A design space for engineering graphical adaptive menus, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '16, pp.239-244, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01492647

J. Bowen and A. Hinze, Supporting mobile application development with model-driven emulation, vol.45, 2011.

J. Bowen and S. Reeves, Formal Models for Informal GUI Designs, Electronic Notes in Theoretical Computer Science, vol.183, pp.57-72, 2007.

J. Bowen and S. Reeves, Refinement for User Interface Designs, Electronic Notes in Theoretical Computer Science, vol.208, pp.5-22, 2008.

J. Bowen and S. Reeves, Ui-design driven model-based testing. Electronic Communications of the EASST, vol.22, 2009.

P. Béger, S. Leriche, and D. Prun, Développement de logiciels dans la R-D industrielle, États-Unis, 2005, Afadl 2018, 17èmes journées Approches Formelles dans l'Assistance au Developpement de Logiciels , Grenoble, 2009.

M. Béatrice-bérard, A. Bidoit, F. Finkel, A. Laroussinie, and . Petit, Laure Petrucci, and Ph Schnoebelen. Systems and Software Verification : Model-Checking Techniques and Tools, vol.01, 2001.

M. Calder, P. Gray, A. Miller, and C. Unsworth, An Introduction to Pervasive Interface Automata, Formal Aspects of Component Software, vol.22, pp.71-87, 2012.

J. Campos and M. Harrison, Michael, José, vol.45, 2011.

D. Cansell, J. P. Gibson, and D. Méry, Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface, Electronic Notes in Theoretical Computer Science, vol.183, pp.39-55, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00594892

U. Cartwright, -. Finch, and N. Lavie, The role of perceptual load in inattentional blindness, Cognition, vol.102, issue.3, pp.321-340, 2007.

A. Cerone, Closure and attention activation in human automatic behaviour : A framework for the formal analysis of interactive systems, vol.45, 2011.

A. Cerone, Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning, Software Technologies: Applications and Foundations, pp.216-232, 2018.

A. Cerone and N. Elbegbayan, Model-checking Driven Design of Interactive Systems, Electronic Notes in Theoretical Computer Science, vol.183, pp.3-20, 2007.

A. Cerone and Y. Zhao, Stochastic modelling and analysis of driver behaviour, ECEASST, p.69, 2013.

S. Chatty, M. Magnaudet, and D. Prun, Verification of properties of interactive components from their executable code, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '15, pp.276-285, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01619784

R. Cleaveland, T. Li, and S. Sims, User's manual, SUNY at Stony Brook, Stony Brooke, 2000.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00930103

J. Coutaz, L. Nigay, and D. Salber, Agent-Based Architecture Modelling for Interactive Systems, Critical Issues in User Interface Systems Engineering, pp.191-209, 1996.

R. M. Young, Four Easy Pieces for Assessing the Usability of Multimodal Interaction : The Care Properties, pp.115-120, 1995.

B. J. Cox and A. Novobilski,

A. E. Approach, , 1991.

. Bruno-d'ausbourg, Using model checking for the automatic validation of user interfaces systems, Design, Specification and Verification of Interactive Systems '98, pp.242-260, 1998.

R. David and H. Alla, Timed Continuous Petri Nets, Discrete, Continuous, and Hybrid Petri Nets, pp.159-229, 2010.

L. De-moura, S. Owre, H. Rueß, J. Rushby, N. Shankar et al., SAL 2, Computer Aided Verification, pp.496-500, 2004.

H. Springer-berlin, Tagebuch, 1925.

D. Edsger-wybe, A Discipline of Programming, 1997.

A. Dittmar, T. Hübner, and P. Forbrig, HOPS: A Prototypical Specification Tool for Interactive Systems, Interactive Systems. Design, Specification, and Verification, pp.58-71

A. Dittmar and R. Schachtschneider, Lightweight interaction modeling in evolutionary prototyping, ECEASST, p.69, 2013.

A. Dix, M. Ghazali, and D. Ramduny-ellis, Modelling Devices for Natural Interaction, Electronic Notes in Theoretical Computer Science, vol.208, pp.23-40, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00534919

J. E. Raymond, K. L. Shapiro, and K. M. Arnell, Temporary suppression of visual processing in an RSVP task: An attentional blink?, Journal of Experimental Psychology: Human Perception and Performance, vol.18, issue.3, pp.849-860, 1992.

R. Geniet and N. K. Singh, Refinement Based Formal Development of Human-Machine Interface, Software Technologies: Applications and Foundations, pp.240-256, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02353335

P. Germanakos and M. Belk, Personalization Categories and Adaptation Technologies, Human?Computer Interaction Series, vol.02, pp.103-135, 2016.

D. Goldson, G. Reeve, and S. Reeves, ?-Chart-Based Specification and Refinement, Formal Methods and Software Engineering, pp.323-334, 2002.

V. Goranko and A. Galton, Temporal logic. The Stanford Encyclopedia of Philosophy, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01054932

A. Gosain and G. Sharma, Static Analysis: A Survey of Techniques and Tools, Intelligent Computing and Applications, pp.581-591, 2015.

M. D. Harrison, C. Kray, and J. C. Campos, Exploring an Option Space to Engineer a Ubiquitous Computing System, Electronic Notes in Theoretical Computer Science, vol.208, pp.41-55, 2008.

M. D. Harrison, P. Masci, J. C. Campos, and P. Curzon, Interactive theorem proving, Handbook of Practical Logic and Automated Reasoning, pp.464-525

M. D. Harrison, P. Masci, and J. C. Campos, Formal Modelling as a Component of User Centred Design, Software Technologies: Applications and Foundations, pp.274-289, 2018.

G. Ober and . Salaün, Software Technologies: Applications and Foundations, Software Technologies : Applications and Foundations, pp.274-289, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01961961

J. Hillston, A Compositional Approach to Performance Modelling, 1996.

L. Hjelmslev, Number 7 in Prolegomena to a Theory of Language, 1961.

C. A. Hoare, An Axiomatic Basis for Computer Programming, Programming Methodology, pp.89-100, 1978.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.

C. A. Hoare, Communicating Sequential Processes, 1985.

G. Holzmann, Parallelizing the Spin Model Checker, Model Checking Software, pp.155-171, 2012.

A. Professional, , 2011.

M. Hristakeva and R. Vuppala, A survey of object oriented programming languages, 2009.

H. Huang, R. Ruk??nas, M. Ament, P. Curzon, A. Cox et al., Capturing the distinction between task and device errors in a formal model of user behaviour, vol.45, 2011.

, Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807)

M. B. Brit-susan-jensen, N. Skov, and . Thiruravichandran, Studying driver attention and behaviour for three configurations of gps navigation in real traffic driving, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI '10, pp.1271-1280

N. Y. York and . Usa, , 2010.

B. S. Jensen, M. B. Skov, and N. Thiruravichandran, Studying driver attention and behaviour for three configurations of GPS navigation in real traffic driving, Proceedings of the 28th international conference on Human factors in computing systems - CHI '10, 2010.

C. W. Johnson, Using assurance cases and boolean logic driven markov processes to formalise cyber security concerns for safety-critical interaction with global navigation satellite systems, vol.45, p.2011

N. Kamel and Y. Ait-ameur, Utilisation de SMV pour la vérification de propriétés d'IHM multimodales, Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine - IHM 2004, pp.219-222, 2004.

C. Kray, G. Kortuem, and A. Kr?ger, Adaptive navigation support with public displays, Proceedings of the 10th international conference on Intelligent user interfaces - IUI '05, pp.326-328, 2005.

S. Leriche, S. Conversy, C. Picard, D. Prun, and M. Magnaudet, Towards Handling Latency in Interactive Software, Software Technologies: Applications and Foundations, pp.233-239, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01815224

D. Lockton, D. Harrison, and N. A. Stanton, The Design with Intent Method: A design tool for influencing user behaviour, Applied Ergonomics, vol.41, issue.3, pp.382-392, 2010.

M. Magnaudet, S. Chatty, S. Conversy, S. Leriche, C. Picard et al., Djnn/Smala, Proceedings of the ACM on Human-Computer Interaction, vol.2, issue.EICS, pp.1-27, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01815222

I. Maier, T. Rompf, and M. Odersky, Deprecating the observer pattern, 2010.

P. Masci, P. Curzon, D. Furniss, and A. Blandford, Using PVS to support the analysis of distributed cognition systems, Innovations in Systems and Software Engineering, vol.11, issue.2, pp.113-130, 2013.

P. Masci, R. Ruk??nas, P. Oladimeji, A. Cauchi, A. Gimblett et al., The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps, Innovations in Systems and Software Engineering, vol.11, issue.2, pp.73-93, 2013.

T. Mirlacher, P. Palanque, and R. Bernhaupt, Engineering animations in user interfaces, Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12, 2012.

D. Navarre, P. Palanque, J. Ladry, and E. Barboni, ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-56, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02570890

O. Nierstrasz, A survey of object-oriented concepts, pp.3-21, 1989.

G. Norman, C. Palamidessi, D. Parker, and P. Wu, Model checking the probabilistic pi-calculus, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp.169-178, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00201069

P. Oladimeji, P. Masci, P. Curzon, and H. Thimbleby, Pvsioweb : a tool for rapid prototyping device user interfaces in pvs, ECEASST, p.69, 2013.

S. Owicki and L. Lamport, Proving Liveness Properties of Concurrent Programs, ACM Transactions on Programming Languages and Systems, vol.4, issue.3, pp.455-495, 1982.

P. Puschner and A. Burns, A review of worst-case execution-time analyses. Real-time Systems -RTS, vol.01, 1999.

D. Randell and A. Cohn, Modelling topological and metrical properties in physical processes, pp.357-368, 1989.

D. Randell, M. Witkowski, and M. Shanahan, From images to bodies : Modelling and exploiting spatial occlusion and motion parallax, Proceedings of the 17th International Joint Conference on Artificial Intelligence, vol.1, pp.57-63, 2001.

D. A. Randell, Z. Cui, and A. G. Cohn, The Morgan Kaufmann Series in Representation and Reasoning, Principles of Knowledge Representation and Reasoning, p.ii, 1994.

W. Reisig, Understanding Petri Nets, 2013.

R. Ruk??nas, P. Curzon, and A. Blandford, Detecting Cognitive Causes of Confidentiality Leaks, Electronic Notes in Theoretical Computer Science, vol.183, pp.21-38, 2007.

R. Ruk??nas, J. Back, P. Curzon, and A. Blandford, Formal Modelling of Salience and Cognitive Load, Electronic Notes in Theoretical Computer Science, vol.208, pp.57-75, 2008.

R. Ruk??nas, J. Back, P. Curzon, and A. Blandford, Verification-guided modelling of salience and cognitive load, Formal Aspects of Computing, vol.21, issue.6, pp.541-569, 2009.

R. Ruk?enas, P. Masci, and P. Curzon, Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach, From Action Systems to Distributed Systems, pp.215-230, 2016.

D. Mark, B. Ryan, and . Smyth, Applied pi calculus, Formal Models and Techniques for Analyzing Security Protocols, chapter 6, 2011.

A. Sabelfeld and A. C. Myers, Language-based information-flow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, pp.5-19, 2003.

G. Salvaneschi and M. Mezini, Debugging for reactive programming, Proceedings of the 38th International Conference on Software Engineering - ICSE '16, pp.796-807, 2016.

D. Sannella and M. Wirsing, Specification Languages, Algebraic Foundations of Systems Specification, vol.07, pp.243-272, 1999.

, RTCA / EUROCAE CNS activities, 2016 Integrated Communications Navigation and Surveillance (ICNS), 2016.

J. Marques and A. M. Da-cunha, Tailoring Traditional Software Life Cycles to Ensure Compliance of RTCA DO-178C and DO-331 with Model-Driven Design, 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 2018.

, RTCA / EUROCAE CNS activities, 2016 Integrated Communications Navigation and Surveillance (ICNS), 2016.

, DO-333 and Formal Methods, Developing Safety-Critical Software, pp.369-380, 2017.

N. Shankar, PVS: Combining specification, proof checking, and model checking, Formal Methods in Computer-Aided Design, pp.257-264, 1996.

J. Signoles, P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto et al., Frama-c : a software analysis perspective, vol.27, p.2012
URL : https://hal.archives-ouvertes.fr/cea-01808981

J. Silva, C. Fayollas, A. Hamon, P. Palanque, C. Martiinie et al., Analysis of wimp and post wimp interactive systems based on formal specification, ECEASST, p.69, 2013.

A. Singh, Rtca do-178b, vol.04, p.2011

D. Sinnig, P. Chalin, and F. Khendek, Towards a Common Semantic Foundation for Use Cases and Task Models, Electronic Notes in Theoretical Computer Science, vol.183, pp.73-88, 2007.

R. , W. Soukoreff, and I. Mackenzie, Theoretical upper and lower bounds on typing speed using a stylus and a soft keyboard, Behaviour & Information Technology, vol.14, issue.6, pp.370-379, 1995.

M. J. Spivey, The Z Notation : A Reference Manual, 1989.

I. O. Standardization, Ergonomic requirements for office work with visual display terminals (VDTs)

L. Su, H. Bowman, and P. Barnard, Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks, Electronic Notes in Theoretical Computer Science, vol.208, pp.95-111, 2008.

H. Thimbleby and A. Gimblett, Dependable keyed data entry for interactive systems, vol.45, 2011.

B. Tissoires and S. Conversy, Hayaku, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11, pp.117-126, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01022248

E. R. Tufte, The Visual Display of Quantitative Information, 1986.

J. Turner, J. Bowen, and S. Reeves, Using Abstraction with Interaction Sequences for Interactive System Modelling, Software Technologies: Applications and Foundations, vol.06, pp.257-273, 2018.

S. Peter-van-roy and . Haridi, Concepts, Techniques, and Models of Computer Programming, 2004.

J. Vinot, C. Letondal, R. Lesbordes, S. Chatty, S. Conversy et al., Tangible augmented reality for air traffic control, Interactions, vol.21, issue.4, pp.54-57, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01016706

/. Doi,

C. Ware, The Morgan Kaufmann Series in Interactive Technologies, The Craft of Information Visualization, p.ii, 2003.

M. Westergaard, A Game-theoretic Approach to Behavioural Visualisation, Electronic Notes in Theoretical Computer Science, vol.208, pp.113-129, 2008.

L. Wilkinson, The Grammar of Graphics, 1999.

. Springer-verlag, Tagebuch, 1925.

E. Williams, Airborne collision avoidance system, Proceedings of the 9th Australian Workshop on Safety Critical Systems and Software, vol.47, pp.97-110, 2004.

J. Woodcock, P. G. Larsen, J. Bicarregui, and J. Fitzgerald, Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-36, 2009.

T. Yanagida, H. Nonaka, and M. Kurihara, Personalizing graphical user interfaces on flexible widget layout, Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems - EICS '09, 2009.

, Conclusion générale: Révisiter l?idée de solidarité, un impératif éthique 287, John Rawls : Réciprocité, justice sociale et solidarité, p.13

. .. , Disparition des variables en langage fonctionnel, vol.13

A. .. De-méthodes-entre-objets, , p.14

E. Ferlie and L. Fitzgerald, Le changement dirigé par le haut au Royaume-Uni : un point de vue politique, Gestion, vol.27, issue.3, p.125, 2002.

. .. , Classes de propriétés liées à l'interaction, p.17

L. .. Propriétés-de, Figure I.1.4 Gestion de la classe et du comportement des élèves, vol.18

. .. Propriétés, , vol.21

. .. Propriétés-de-la-classe-interface-humain-machine, 22 2.10 Propriétés de la classe sécurité

A. Krieg-planque, Chapitre premier. Des événements et des périodes : le substrat événementiel du parcours de la formule, « Purification ethnique », pp.31-104, 2003.

N. Johnstone and I. Ha??i?, Renforcer la pénétration des énergies renouvelables intermittentes : l'innovation en matière de stockage de l'énergie et de gestion du réseau, p.33, 2013.

. .. Représentation-de-la-logique-temporelle-linéaire, , vol.34

. .. , Représentation de la logique du temps arborescent, vol.34

, SMALA, p.61

, SMALA, p.62

. Tcas-intégré-À-l'ivsi and . .. Réalisé-en-smala, Graphique 1.5. Différence entre solde budgétaire réalisé et programmé en 2010 et 2011, p.65

. .. Phase, , p.68

R. A. Premier, . Descend, and . .. Descend, Descend, p.69, 2020.

. .. , Indication de la vitesse verticale du trafic : descente, p.69

L. .. Des-diagrammes-de-processus, Légende de S.Denis, p.76

J. Martin, Liste des graphiques, Processus d?industrialisation et développement énergétique du Brésil, p.370, 1966.

. .. Prétraitement-du-code,

. .. , Codage d?un questionnaire et entrée des données, L'analyse des données de sondage avec SPSS, vol.84, pp.19-46, 2018.

. .. , Exploitation du résultat de la vérification, vol.86

L. Simon and C. Cochet-cochet, Nomenclature de tous les noms de roses connus : avec indication de leur race, obtenteur, année de production, couleur et synonymes ... / par Léon Simon avec la collaboration de Pierre Cochet., vol.87, 1906.

S. Tcherkézoff, 1. Les oppositions droite/gauche et la « prééminence de la main prééminence droite », Le roi nyamwezi, la droite et la gauche, pp.3-26

G. Ritter, Famille resolvante associee a des operateurs ne verifiant pas le principe du maximum, Lecture Notes in Mathematics, pp.184-194, 1976.

S. Tcherkézoff, 1. Les oppositions droite/gauche et la « prééminence de la main prééminence droite », Le roi nyamwezi, la droite et la gauche, vol.5, pp.3-26

G. Ritter, Famille resolvante associee a des operateurs ne verifiant pas le principe du maximum, Lecture Notes in Mathematics, pp.184-194, 1976.

S. Tcherkézoff, 1. Les oppositions droite/gauche et la « prééminence de la main prééminence droite », Le roi nyamwezi, la droite et la gauche, vol.6, pp.3-26

G. Ritter, Famille resolvante associee a des operateurs ne verifiant pas le principe du maximum, Lecture Notes in Mathematics, pp.184-194, 1976.

. .. , Classification des propriétés liées à l'interaction, p.145

. Liste and . Tableaux, Liste des tableaux. Liste des cartes. Liste des photographies, Alena-Mercosur : enjeux et limites de l'intégration américaine, p.225

G. Delaval, E. Rutten, and H. Marchand, Intégration de la synthèse de contrôleurs discrets dans un langage de programmation, Journal Européen des Systèmes Automatisés, vol.45, issue.1-3, pp.125-140, 2011.

, Politique de l'environnement et comportement des ménages, 2011.

, Application des Principes de BPL aux études in vitro, p.42, 2004.

, Indicateurs des politiques relatives aux entreprises, vol.43, 2014.

. .. , Études des propriétés relatives à la sécurité, p.44

. .. , , p.48

J. Sperandio, 2. Modèles et formalismes, ou le fond et la forme, Formalismes de modélisation pour l?analyse du travail et l?ergonomie, p.27, 2003.
URL : https://hal.archives-ouvertes.fr/hal-02483835

L. M. Hillam, F. Kordon, and L. Petrucci, Application des méthodes formelles à la robotique modulaire. Méthodes formelles pour l'analyse des robots autonomes et modulaires, Journal Européen des Systèmes Automatisés, vol.42, issue.4, pp.459-478, 2008.

, Codage d?un questionnaire et entrée des données, L'analyse des données de sondage avec SPSS, pp.19-46, 2018.

J. Martin, Liste des graphiques, Processus d?industrialisation et développement énergétique du Brésil, p.370, 1966.

. Opérateurs and . .. De-base, I. Notions de base: polyphonie et stratégie discursive, Opérateurs discursifs du français, p.91

, Codage d?un questionnaire et entrée des données, L'analyse des données de sondage avec SPSS, pp.19-46, 2018.

. .. , Liste des exigences graphiques du TCAS intégré à l'IVSI, vol.124

. .. Opérateurs-graphiques-formels, , p.147

. .. , Opérateurs graphiques formels (suite), p.148