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
Object-oriented analysis and design with applications, 1994. ,
The Unified Modeling Language User Guide, 1999. ,
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
Programs = data + algorithms + architecture, Proc. Engineering Interactive Systems, Lecture Notes in Computer Science, 2007. ,
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
Agile Software Development, 2001. ,
Designing object-oriented user interfaces, 1995. ,
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 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
Design Patterns : Elements of Reusable Object-Oriented Software, 1995. ,
Smalltalk-80 : the language and its implementation, 1983. ,
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
DOI : 10.1145/359576.359585
The early history of Smalltalk, ACM SIGPLAN Notices, vol.28, issue.3, pp.69-75, 1993. ,
DOI : 10.1145/155360.155364
Comparing models of computation, Proceedings of International Conference on Computer Aided Design, 1996. ,
DOI : 10.1109/ICCAD.1996.569613
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
Petri net based design of userdriven interfaces using the interactive cooperative object formalism, Proc. DSV-IS'94, 1994. ,
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
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
Why interaction is more powerful than algorithms, Communications of the ACM, vol.40, issue.5, 1997. ,
DOI : 10.1145/253769.253801
Bringing design to software, 1996. ,