, A formal Description of low level interaction and its application to multimodal interactive systems UIML: An Appliance- Independent XML User Interface Language, Proc. of Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS'96 Proceedings of 8 th International World-Wide Web Conference WWW'8, pp.92-104, 1996.
, Designing conceptual models of dialog: a case for dialog charts, ACM SIGCHI Bulletin, vol.20, issue.2, pp.23-27, 1988.
DOI : 10.1145/54386.54393
, A Visual and Formal Glue between Application and Interaction, Journal of Visual Languages & Computing, vol.10, issue.5, pp.481-507, 1999.
DOI : 10.1006/jvlc.1999.0127
, A scalable formal method for design and automatic checking of user interfaces, Proc. of 23rd Intl. Conf. on Software Engineering ICSE 2001, pp.453-462, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00619460
, In Search of a Basic Principle for Model Driven Engineering, UPGRADE the European Journal for the Informatics Professional, vol.V, issue.2, 2004.
, Model Engineering for Software Modernization, The 11th IEEE Working Conference on Reverse Engineering, 2004.
, On the unification power of models, Software & Systems Modeling, vol.20, issue.2, pp.171-188, 2005.
DOI : 10.1109/MS.2003.1231147
, Key Activities for a Development Methodology of Interactive Applications Critical Issues in User Interface Systems Engineering, pp.109-134, 1995.
, Windows Transitions: A Graphical Notation for Specifying Mid-Level Dialogue Models, Informal Proc. of 7th Int. Eurographics Workshop on Design, Specification, Verification of Interactive Systems DSV-IS'2000 (Limerick, pp.5-6, 2000.
, Modeling web-based dialogue flows for automatic dialogue control, Proc. of 19th IEEE Intl. Conf. on Automated Software Engineering ASE, pp.100-109, 2004.
, Experiences with a dialogue-driven process model for web application development, Proc. of 29th Annual Intl. Computer Software and Applications Conf. COMPSAC'2005 (Edinburgh, pp.25-28, 2005.
, A Meta-Model for the Dialogue Flow Notation, Proc. of the 1st Intl. Conf. on Web Information Systems and Technologies WE-BIST'2005, pp.64-71, 2005.
, Efficient Modeling of Hierarchical Dialogue Flows for Multi-Channel Web Applications, Proc. of 30th Annual Intl. Computer Software and Applications Conf
, Automatic dialogue mask generation for device-independent web applications, Proc. of 6th Intl. Conf. on Web Engineering ICWE 2006, pp.11-14, 2006.
, Fine-Grained Specification and Control of Data Flows in Web-Based User Interfaces, Proc. of 7th Intl. Conf. on Web Engineering ICWE'2007 (Como, pp.16-20, 2007.
DOI : 10.1007/978-3-540-73597-7_13
, Efficient Modeling of Hierarchical Dialogue Flows for Multi-Channel Web Applications, Proc. of 30th Annual Intl. Computer Software and Applications Conf
, Towards automatically interfacing application services integrated in a automated model based user interface generation process, Proc. Of MDDAUI, 2009.
, Dialog management in interactive systems: a comparative survey, ACM SIGCHI Bulletin, vol.18, issue.3, pp.30-42, 1987.
DOI : 10.1145/25281.25282
, Mod??lisation conceptuelle des IHM. Une approche globale s'appuyant sur les processus m??tier, Ing??nierie des syst??mes d'information, vol.12, issue.5, pp.69-108, 2007.
DOI : 10.3166/isi.12.5.69-108
, User modelling, Proceedings of the 6th International Conference on Mobile Technology, Application & Systems, Mobility '09, 2009.
DOI : 10.1145/1710035.1710079
, Taking context into account in conceptual models using a Model Driven Engineering approach, Information and Software Technology, pp.1349-1369, 2011.
, A Unifying Reference Framework for multi-target user interfaces, Interacting with Computers, vol.15, issue.3, pp.3-289, 2003.
DOI : 10.1016/S0953-5438(03)00010-9
, Towards improving the navigability of Web applications: a model-driven approach, European Journal of Information Systems, vol.39, issue.2, pp.420-447, 2007.
DOI : 10.1109/MC.2006.58
, A Unifying Reference Framework for multi-target user interfaces, Interacting with Computers, vol.15, issue.3, pp.3-289, 2003.
DOI : 10.1016/S0953-5438(03)00010-9
, Model-Based UI XG Final Report Available at: http://www.w3. org Carr, D. Specification of interface interaction objects, Proc. of CHI'94, 1994.
, Specification of interface interaction objects, Proc. of ACM Conf. on Human Aspects in Computing Systems CHI'94, pp.372-378, 1994.
, Vision research: A practical Guide to Laboratory Methods, 1998.
, Modeling Multi-Level Context Influence on the User Interface, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06), pp.57-61, 2006.
DOI : 10.1109/PERCOMW.2006.96
, Abstract data views: an interface specification concept to enhance design for reuse, IEEE Transactions on Software Engineering, vol.21, issue.3, pp.229-243, 1995.
DOI : 10.1109/32.372150
, The Influence of Improved Task Models on Dialogues, Proc. of CADUI'2004, pp.1-14, 2005.
DOI : 10.1007/1-4020-3304-4_1
, Eye Tracking Methodology: Theory and Practice, 2007.
DOI : 10.1007/978-1-4471-3750-4
, Applying model-based techniques to the development of UIs for mobile computers, Proceedings of the 6th international conference on Intelligent user interfaces , IUI '01, pp.69-76
DOI : 10.1145/359784.360122
, Bill Gates Keynote: Microsoft Tech-Ed. 2008 ? Developers, pp.6-9, 2008.
, Towards a formal specification method for graphical user interfaces using modularized graph grammars, Proceedings of the 8th International Workshop on Software Specification and Design, 1996.
DOI : 10.1109/IWSSD.1996.501147
, Conceptual modeling of device-independent Web applications, IEEE Multimedia, vol.8, issue.2, pp.26-39, 2001.
DOI : 10.1109/93.917969
, A survey of three dialogue models, ACM Transactions on Graphics, vol.5, issue.3, pp.244-275, 1986.
DOI : 10.1145/24054.24057
, Cascading style sheets: designing for the Web, p.263, 2010.
, Modeling and verification of adaptive navigation in web applications, Proceedings of the 6th international conference on Web engineering , ICWE '06, pp.11-14, 2006.
DOI : 10.1145/1145581.1145645
, Pervasive Computing: The Mobile World, 2003.
, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9
, Using mathematics to specify software, Proceedings of the 1st Australian Software Engineering Conference, pp.67-71, 1986.
, Supporting concurrency, communication, and synchronization in human-computer interaction---the Sassafras UIMS, ACM Transactions on Graphics, vol.5, issue.3, pp.179-210, 1986.
DOI : 10.1145/24054.24055
, Model-Based Design of User-Interfaces Using Object-Z, CADUI'99
DOI : 10.1007/978-94-011-4295-3_4
, Systems and software engineering --Systems and software Quality Requirements and Evaluation (SQuaRE) --System and software quality models, 2011.
, A specification language for direct-manipulation user interfaces, ACM Transactions on Graphics, vol.5, issue.4, pp.283-317, 1986.
DOI : 10.1145/27623.27624
, Generating user interfaces from data models and dialogue net specifications, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '93, pp.418-423, 1993.
DOI : 10.1145/169059.169335
, Software Development: A Rigorous Approach, 1980.
, Systematic Software Development using VDM, 1986.
, EDGE - a graph based tool for specifying interaction, Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software , UIST '88, pp.1-14, 1988.
DOI : 10.1145/62402.62403
, IBM computer usability satisfaction questionnaires: Psychometric evaluation and instructions for use, International Journal of Human-Computer Interaction, vol.7, issue.1, pp.57-78, 1995.
DOI : 10.1145/122672.122692
, A technique for the measurement of attitudes, Archives of Psychology, vol.22, issue.140, pp.1-55, 1932.
, Addressing the Mapping Problem in User Interface Design with UsiXML Workshop on Task Models and Diagrams for user interface design TAMODIA, Proc. of 3rd Int, pp.155-163, 2004.
, Derivation of a Dialog Model from a Task Model by Activity Chain Extraction, Proc. of 10th Int. Conf. on Design, Specification and Verification of Interactive Systems DSV-IS'2003 (Madeira, pp.203-217, 2003.
DOI : 10.1007/978-3-540-39929-2_14
, Towards a Library of Generic Guidelines for Specifying Multi-Threaded Dialogs, Tools for Working with Guidelines, Proc. of the Int. Workshop on Tools for Working with Guidelines TFWWG'2000 Group, pp.217-224, 2000.
DOI : 10.1007/978-1-4471-0279-3_21
, Utilisation des automates à pile pour la spécification de dialogues et la gestion de l'historique. Actes de p.47-52, Actes des Rencontre de Jeunes Chercheurs en Interface Homme- Machine, RJC-IHM', 2000.
, Window Transitions: A Graphical Notation for Specifying Mid-level Dialogue Workshop on Task Models and Diagrams for user interface design Tamodia, Proc. of 1st Int, pp.55-63, 2002.
, Multi-level Dialogue Modeling in Highly Interactive Web Interfaces, Proc. of IWWOST'2008, pp.38-43, 2008.
, Model-Driven Engineering of Behaviors for User Interfaces in Multiple Contexts of Use, Proc. of IADIS Int. Conf. on Interfaces and Human-Computer Interaction IHCI'2011, pp.273-282, 2011.
, Model-Driven Engineering of Dialogues for Multi-platform Graphical User Interfaces, Proc. of 2nd Int. Workshop on User Interface Extensible Markup Language UsiXML'2011 Thales Research and Technology France, pp.169-180, 2011.
, Modélisation et spécification des dialogues relatifs à des applications de gestion, Tome II, Actes de IHM'99, 1999.
, Van den Bergh, J. S Selecting the Right Task Model for Model-based User Interface Development, Proc. of 4th Int. workshop on model driven development of advanced user interfaces. MDDAUI'2009 Proc. of IUI, pp.503-504, 2009.
, Dialogue Model Clustering for User Interface Adaptation, Proc. of ICWE'2003, pp.194-203, 2003.
, Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML, Proc. of 12th Intl. Workshop on Design, Specification and Verification of Interactive Systems DSV-IS'2005 (Newcastle upon Tyne, pp.13-15, 2005.
DOI : 10.1007/11752707_14
, Design and development of multidevice user interfaces through multiple logical descriptions, IEEE Transactions on Software Engineering, vol.30, issue.8, pp.507-520, 2004.
DOI : 10.1109/TSE.2004.40
, A statechart-based model for hypermedia applications, ACM Transactions on Information Systems, vol.19, issue.1, pp.28-52, 2001.
DOI : 10.1145/366836.366869
, Pushdown automata for user interface management, ACM Transactions on Graphics, vol.3, issue.3, pp.177-203, 1984.
DOI : 10.1145/3870.3871
, Adopted Spec. , www.omg.org/docs, 2005.
, Petri Net Based Design of User-Driven Interfaces Using the Interactive Cooperative Objects Formalism, Proc. of 1st Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS'94, 1994.
DOI : 10.1007/978-3-642-87115-3_23
, Towards an Early Usability Evaluation for Web Applications, Lecture Notes in Computer Science, vol.4895, pp.32-45, 2008.
DOI : 10.1007/978-3-540-85553-8_3
, MARIA, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, 2009.
DOI : 10.1145/1614390.1614394
, A Semantics-based Approach for the Design and Implementation of Interaction Objects, Computer Graphics Forum, vol.13, issue.3, pp.195-204, 1994.
DOI : 10.1111/1467-8659.1330195
, Hypercharts: extended statecharts to support hypermedia specification, Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168), pp.33-49, 1999.
DOI : 10.1109/ICECCS.1997.622306
, Task-action grammars: A model of the mental representation of task languages, Human-Computer Interaction, pp.93-133, 1986.
, Modeling the User Interface of Multimedia applications, Proc. of MoDELS, pp.676-690, 2005.
, MML: A Language for Modeling Interactive Multimedia Applications, Proc. of ISM'2005, pp.465-473
, Tool Support for Representing Task Models, Dialogue Models and User-Interface Specifications, Proc. of DSV-IS'2008, pp.92-95, 2008.
, Formal Grammar and Human Factors Design of an Interactive Graphics System, IEEE Transactions on Software Engineering, vol.7, issue.2, pp.229-240, 1981.
DOI : 10.1109/TSE.1981.234520
, The Guilet Dialogue Model and Dialogue Core for Graphical User Interfaces, Proc. of EIS'2008, pp.197-204, 2008.
, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58
, Dialog Modeling for Multiple Devices and Multiple Interaction Modalities, Proc. of 5th Int, pp.39-53, 2006.
DOI : 10.1007/978-3-540-70816-2_4
, Deceived by Ease of Use, DIS'95 Symposium on Designing Interactive Systems: Processes, Practices, Methods an Techniques, pp.177-188, 1995.
, A Novel Dialog Model for the Design of Multimodal User Interfaces, Lecture Notes in Computer Science, vol.3425, pp.221-223, 2004.
DOI : 10.1007/11431879_13
, Dialog Modeling for Multiple Devices and Multiple Interaction Modalities, Proc. of TAMODIA'2006, pp.39-53, 2007.
DOI : 10.1007/978-3-540-70816-2_4
, Model Driven Architecture, 2000.
, The Z Notation: A reference manual Prentice Hall International Series in Computer Science, 1992
, Dialogue modelling with interactors and UML Statecharts, Proc. of DSV-IS, 2003.
, Integrating Dialogue Modeling and Domain Modeling ? the Case of DIAMODL and the Eclipse Modeling Framework, Journal of Universal Computer Science, vol.14, issue.19, pp.3265-3278, 2008.
, Deriving the Navigational Structure of a User Interface, Proc. of 9th IFIP TC 13 Int. Conf. on Human-Computer Interaction Interact'2003, pp.1-5
, From Task to Dialogue model in the UML, Proc. of Tamodia'2007, pp.98-111, 2007.
, Using Data Flow Diagrams for Supporting Task Models, Supplementary, Proc. of 5th Int. Eurographics Workshop on Design, Specification, Verification of Interactive Systems DSV-IS'98 Eurographics Association, pp.3-5, 1998.
, Usability Properties in Dialogue Models, Proc. of DSV-IS'99, pp.2-4, 1999.
, Introduction : la psycholinguistique au secours de l???informatique, Langages, 35e année, pp.3-19, 1996.
DOI : 10.3406/lgge.2001.896
, Extending State Transition Diagrams for the Specification of Human-Computer Interaction, IEEE Transactions on Software Engineering, vol.11, issue.8, pp.699-713, 1985.
, StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications, Proc. of 10th Int. Conf. on Design, Specification and Verification of Interactive Systems DSV-IS'2003 (Madeira, pp.61-76, 2003.
DOI : 10.1007/978-3-540-39929-2_5
, SWCEditor: A Model-Based Tool for Interactive Modelling of Web Navigation, Proc. of 4th Int. Conf. on Computer-Aided Design of User Interfaces CADUI, pp.14-16, 2004.
DOI : 10.1007/1-4020-3304-4_5
, Cascading Dialogue Modeling with UsiXML Work-shop on Design, Specification and Verification of Interactive Systems DSV-IS', Proc. of 15th Int, 2008.
, Project Oberon-The design of an Operating System and Compiler, 1992.
, Simultaneous tracking and balancing of humanoid robots for imitating human motion capture data, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.2510-2517, 2009.
DOI : 10.1109/IROS.2009.5354750
, Control-aware mapping of human motion data with stepping for humanoid robots, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.726-733, 2010.
DOI : 10.1109/IROS.2010.5652781