G. D. Abowd, J. Coutaz, and L. Nigay, Structuring the space of interactive system properties, Proc. IFIP EHCI'92, pp.113-129, 1992.

A. Ameur, Y. Baron, M. Kamel, N. Mota, and J. , Encoding a process algebra using the Event B method, International Journal on Software Tools for Technology Transfer, vol.1, issue.2, pp.239-253, 2009.
DOI : 10.1145/363235.363259

J. C. Baeten, A brief history of process algebra, Theoretical Computer Science, vol.335, issue.2-3, pp.2-3, 2005.
DOI : 10.1016/j.tcs.2004.07.036

G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor et al., ESTEREL: a formal method applied to avionic software development, Science of Computer Programming, vol.36, issue.1, pp.5-25, 2000.
DOI : 10.1016/S0167-6423(99)00015-5
URL : https://hal.archives-ouvertes.fr/hal-00579632

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, LNCS 2566, pp.85-108, 2002.
DOI : 10.1007/3-540-36377-7_5
URL : https://hal.archives-ouvertes.fr/inria-00528442

P. Bumbulis, P. Alencar, D. Cowan, and C. Lucena, Validating Properties of Component-based Graphical User Interfaces, Proc. DSV-IS96, pp.347-365, 1996.
DOI : 10.1007/978-3-7091-7491-3_18

M. Burke, C. , and R. , Interprocedural dependence analysis and parallelization, Proc. SIGPLAN'86, pp.162-175, 1986.

J. Campos and M. Harrison, The role of verification in interactive systems design, Proc. DSV-IS98, pp.155-170, 1998.
DOI : 10.1007/978-3-7091-3693-5_11

J. P. Cavano and J. A. Mccall, A framework for the measurement of software quality, Software quality assurance workshop on functional and performance issues, pp.133-139, 1978.

S. Chatty and A. Lemort, Multiple Input Support in a Model-Based Interaction Framework, Second Annual IEEE International Workshop on Horizontal Interactive Human-Computer Systems (TABLETOP'07), pp.179-186, 2007.
DOI : 10.1109/TABLETOP.2007.27
URL : https://hal.archives-ouvertes.fr/hal-01022134

S. Chatty, Supporting Multidisciplinary Software Composition for Interactive Applications, Proc. of the 7th international symposium on software composition, pp.173-189, 2008.
DOI : 10.1007/978-3-540-78789-1_14
URL : https://hal.archives-ouvertes.fr/hal-01022139

P. Cousot, C. , and R. , Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

D. Duke and M. Harrison, Abstract Interaction Objects, Computer Graphics Forum, vol.12, issue.3, pp.25-36, 1993.
DOI : 10.1111/1467-8659.1230025

D. Goldin, S. Smolka, P. Wegner, J. M. González-calleros, J. Guerrero-garcia et al., Interactive computation -the new paradigm Advanced human-machine interface automatic evaluation, Universal Access in the Information Society, vol.15, issue.4, pp.387-401, 2006.

E. Goubault, M. Martel, and S. Putot, Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter, ESOP 2002, pp.209-212, 2002.
DOI : 10.1007/3-540-45927-8_15

N. Halbwachs, P. Caspi, R. , P. Pilaud, and D. , The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

A. Hussey and D. Carrington, Specifying a Web Browser Interface Using Object-Z, pp.157-174, 1998.

K. Kennedy, A. , and J. R. , Optimizing Compilers for Modern Architectures: A Dependence-based Approach, 2002.

L. Charlier and B. , Abstract Interpretation and Application to Interactive System Verification, Proc. DSV-IS'96, pp.46-72, 1996.
DOI : 10.1007/978-3-7091-7491-3_3

A. W. Lim and M. S. Lam, Maximizing parallelism and minimizing synchronization with affine transforms, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.201-214, 1997.
DOI : 10.1145/263699.263719

M. Magnaudet and S. Chatty, What should adaptivity mean to interactive software programmers?, Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, EICS '14, pp.13-22, 2014.
DOI : 10.1145/2607023.2607028
URL : https://hal.archives-ouvertes.fr/hal-01011095

J. Mccall, Factors in Software Quality: Preliminary Handbook on Software Quality for an Acquisiton Manager, 1977.
DOI : 10.21236/ADA049055

B. Meyer, Object-Oriented Software Construction, 1988.

L. Nigay, C. , and J. , Multifeature Systems: The CARE Properties and Their Impact on Software Design, 1997.

P. Palanque, E. Barboni, C. Martinié, D. Navarre, and M. Winckler, A model-based approach for supporting engineering usability evaluation of interaction techniques, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11, pp.21-30, 2011.
DOI : 10.1145/1996461.1996490

F. Paternò, Formal reasoning about dialogue properties with automatic support, Interacting with Computers, vol.9, issue.2, pp.173-196, 1997.
DOI : 10.1016/S0953-5438(97)00015-5

S. Pop, The SSA Representation Framework: Semantics, Analyses and GCC Implementation, 2006.
URL : https://hal.archives-ouvertes.fr/pastel-00002281

H. Thimbleby and J. Gow, Applying Graph Theory to Interaction Design, Proc. EICS2007, J. Gulliksen, pp.501-518, 2008.
DOI : 10.1038/30918