J. Accot, Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems, Proc. DSVIS'97
DOI : 10.1007/978-3-7091-6878-3_10

G. Booch, Object-oriented analysis and design with applications, 1994.

G. Booch, The Unified Modeling Language User Guide, 1999.

G. Calvary, A la crois??e de l???ing??nierie de l???interaction homme-machine et de l???ing??nierie dirig??e par les mod??les, Techniques et sciences informatiques, vol.29, issue.4-5, 2010.
DOI : 10.3166/tsi.29.479-503

S. Chatty, Programs = data + algorithms + architecture, Proc. Engineering Interactive Systems, Lecture Notes in Computer Science, 2007.

S. Chatty, Supporting Multidisciplinary Software Composition for Interactive Applications, Proc. Software Composition, 2008.
DOI : 10.1007/978-3-540-78789-1_14

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

A. Cockburn, Agile Software Development, 2001.

D. Collins, Designing object-oriented user interfaces, 1995.

S. Conversy, Visual scanning as a reference framework for interactive representation design, Information Visualization, vol.57, issue.3, pp.196-211, 2011.
DOI : 10.1177/1473871611415988

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

A. Dittmar and P. Forbrig, A unified description formalism for complex HCI-systems, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005.
DOI : 10.1109/SEFM.2005.7

E. Gamma, Design Patterns : Elements of Reusable Object-Oriented Software, 1995.

A. Goldberg and D. Robson, Smalltalk-80 : the language and its implementation, 1983.

C. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

A. C. Kay, The early history of Smalltalk, ACM SIGPLAN Notices, vol.28, issue.3, pp.69-75, 1993.
DOI : 10.1145/155360.155364

E. A. Lee and A. Sangiovanni-vincentelli, Comparing models of computation, Proceedings of International Conference on Computer Aided Design, 1996.
DOI : 10.1109/ICCAD.1996.569613

G. Mori, CTTE: support for developing and analyzing task models for interactive system design, IEEE Transactions on Software Engineering, vol.28, issue.8, pp.797-813, 2002.
DOI : 10.1109/TSE.2002.1027801

P. Palanque and R. Bastide, Petri net based design of userdriven interfaces using the interactive cooperative object formalism, Proc. DSV-IS'94, 1994.

P. Palanque, Validating interactive system design through the verification of formal task and system models, Proc. EHCI'95. Chapman & Hall, 1995.
DOI : 10.1007/978-0-387-34907-7_11

C. Schlienger, Une exp??rience de conception et de prototypage d'interfaces ??volu??es en milieu industriel, Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine, IHM 2004, 2004.
DOI : 10.1145/1148613.1148636

P. Wegner, Why interaction is more powerful than algorithms, Communications of the ACM, vol.40, issue.5, 1997.
DOI : 10.1145/253769.253801

T. Winograd, Bringing design to software, 1996.