skip to main content
Skip header Section
Model-Based Design and Evaluation of Interactive ApplicationsSeptember 1999
Publisher:
  • Springer-Verlag
  • Berlin, Heidelberg
ISBN:978-1-85233-155-9
Published:01 September 1999
Pages:
192
Skip Bibliometrics Section
Bibliometrics
Skip Abstract Section
Abstract

From the Publisher:

If you are interested in understanding how the systematic use of task models in the design, development, and usability evaluation of interactive software applications can open new opportunities and possibilities then this book will help you do just that. Fabio Paterno also discusses related issues relevant to designing user interfaces and provides a state-of-the-art review of the field, including recently developed methods, current results and problems and trends." "Software Engineers will also find Model-Based Design and Evaluation of Interactive Applications a great help when developing projects.

Cited By

  1. Cunha A, Macedo N and Kang E Task Model Design and Analysis with Alloy Rigorous State-Based Methods, (303-320)
  2. ACM
    Shah C, White R, Thomas P, Mitra B, Sarkar S and Belkin N Taking Search to Task Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, (1-13)
  3. Das K, Gurung A and Ray R (2021). Parallel simulation of cyber-physical systems, Innovations in Systems and Software Engineering, 17:3, (319-331), Online publication date: 1-Sep-2021.
  4. ACM
    Dix A Taking the Long View Proceedings of the International Conference on Advanced Visual Interfaces, (1-9)
  5. ACM
    Dessì S and Spano L (2020). DG3: Exploiting Gesture Declarative Models for Sample Generation and Online Recognition, Proceedings of the ACM on Human-Computer Interaction, 4:EICS, (1-21), Online publication date: 18-Jun-2020.
  6. Sánchez A, Rodríguez S, de la Prieta F and González A (2019). Adaptive interface ecosystems in smart cities control systems, Future Generation Computer Systems, 101:C, (605-620), Online publication date: 1-Dec-2019.
  7. ACM
    López-Jaquero V, González P, Montero F and Molina J UML2App Proceedings of the XX International Conference on Human Computer Interaction, (1-2)
  8. ACM
    de Santana V and Silva F An Easy to Use Data Logger for Local User Studies Proceedings of the 16th International Web for All Conference, (1-2)
  9. Mami S, Lahbib Y, Hachaichi Y and Mami A (2019). XSG-based HLS flow for optimized signal processing designs for FPGAs, Microprocessors & Microsystems, 66:C, (31-42), Online publication date: 1-Apr-2019.
  10. ACM
    Baños-García M, Lezcano-Barbero F and Casado-Muñoz R Evaluation of Multimedia Applications aimed to support the participation of Youth with Intellectual Disability Proceedings of the Sixth International Conference on Technological Ecosystems for Enhancing Multiculturality, (215-220)
  11. ACM
    Losada B Flexible Requirement Development through User Objectives in an Agile-UCD Hybrid Approach Proceedings of the XIX International Conference on Human Computer Interaction, (1-8)
  12. ACM
    Harre M and Feuerstack S A Heuristic for relative Perception Accuracy and Reaction Time Estimation for HMI Designs Proceedings of the 36th European Conference on Cognitive Ergonomics, (1-4)
  13. ACM
    Laue R and Kirchner K Patterns for Discussing and Modelling Variability in Business Processes Proceedings of the 23rd European Conference on Pattern Languages of Programs, (1-10)
  14. ACM
    Marrella A and Catarci T Measuring the Learnability of Interactive Systems Using a Petri Net Based Approach Proceedings of the 2018 Designing Interactive Systems Conference, (1309-1319)
  15. Natale M, Perillo D, Chirico F, Sindico A and Sangiovanni-Vincentelli A (2018). A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components, Software and Systems Modeling (SoSyM), 17:1, (11-33), Online publication date: 1-Feb-2018.
  16. Ferreira L and Anacleto J Usability in Solutions of Secure Email – A Tools Review Human Aspects of Information Security, Privacy and Trust, (57-73)
  17. ACM
    Buchholz G and Forbrig P (2017). Extended Features of Task Models for Specifying Cooperative Activities, Proceedings of the ACM on Human-Computer Interaction, 1:EICS, (1-21), Online publication date: 30-Jun-2017.
  18. ACM
    Forbrig P and Buchholz G Subject-Oriented Specification of Smart Environments Proceedings of the 9th Conference on Subject-oriented Business Process Management, (1-10)
  19. Valente P, Silva T, Winckler M and Nunes N Bridging Enterprise and Software Engineering Through an User-Centered Design Perspective Proceedings of the 17th International Conference on Web Information Systems Engineering - Volume 10042, (349-357)
  20. ACM
    Garcia F, da Hora Rodrigues K and de Almeida Neris V An Interaction Modeling Language for Therapeutic Applications Proceedings of the 15th Brazilian Symposium on Human Factors in Computing Systems, (1-10)
  21. ACM
    Prehofer C, Wagner A and Jin Y A model-based approach for multi-device user interactions Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, (13-23)
  22. Cardona Reyes H and Muoz Arteaga J (2016). Multidisciplinary production of interactive environments to support occupational therapies, Journal of Biomedical Informatics, 63:C, (90-99), Online publication date: 1-Oct-2016.
  23. ACM
    Nilsson E and Stølen K A case-based assessment of the FLUIDE framework for specifying emergency response user interfaces Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (97-107)
  24. ACM
    Bowen J and Dittmar A A semi-formal framework for describing interaction design spaces Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (229-238)
  25. ACM
    Marçal de Oliveira K, Girard P, Gonçalves T, Lepreux S and Kolski C Teaching task analysis for user interface design Proceedings of the 27th Conference on l'Interaction Homme-Machine, (1-6)
  26. ACM
    Khaddam I, Mezhoudi N and Vanderdonckt J Towards task-based linguistic modeling for designing GUIs Proceedings of the 27th Conference on l'Interaction Homme-Machine, (1-10)
  27. Bähr B Towards a Requirements Catalogue for Prototyping Tools of Mobile User Interfaces Proceedings, Part II, of the 4th International Conference on Design, User Experience, and Usability: Users and Interactions - Volume 9187, (495-507)
  28. ACM
    Anzalone D, Manca M, Paternò F and Santoro C Responsive task modelling Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (126-131)
  29. ACM
    González-Calleros J, Guerrero-García J, Escamilla H and Muñoz-Arteaga J Towards Model-Game-Based Rehabilitation Information System Proceedings of the 5th Mexican Conference on Human-Computer Interaction, (15-21)
  30. ACM
    Gharsellaoui A, Bellik Y and Jacquet C A system for user task monitoring and assistance in ambient intelligent settings Proceedings of the 26th Conference on l'Interaction Homme-Machine, (130-138)
  31. Silva W, Valentim N and Conte T Estudo comparativo entre diagrama de atividade e análise hierárquica de tarefas Proceedings of the 13th Brazilian Symposium on Human Factors in Computing Systems, (91-100)
  32. ACM
    Akiki P, Bandara A and Yu Y (2014). Adaptive Model-Driven User Interface Development Systems, ACM Computing Surveys, 47:1, (1-33), Online publication date: 1-Jul-2014.
  33. ACM
    Spano L and Fenu G IceTT Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, (197-200)
  34. ACM
    Manca M, Paternò F, Santoro C and Spano L Considering task pre-conditions in model-based user interface design and generation Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, (149-154)
  35. ACM
    Nebeling M, Geel M and Norrie M Engineering information management tools by example Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces, (313-320)
  36. ACM
    Kritikos K, Plexousakis D and Paternò F (2014). Task model-driven realization of interactive application functionality through services, ACM Transactions on Interactive Intelligent Systems, 3:4, (1-31), Online publication date: 1-Jan-2014.
  37. ACM
    Martinie C, Palanque P, Ragosta M and Fahssi R Extending procedural task models by systematic explicit integration of objects, knowledge and information Proceedings of the 31st European Conference on Cognitive Ergonomics, (1-10)
  38. Märtin C, Herdin C and Engel J Patterns and models for automated user interface construction Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I, (401-410)
  39. Engel J, Märtin C, Herdin C and Forbrig P Formal pattern specifications to facilitate semi-automated user interface generation Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I, (300-309)
  40. ACM
    Sinnig D, Chalin P and Khendek F (2013). Use case and task models, ACM Transactions on Software Engineering and Methodology, 22:3, (1-31), Online publication date: 1-Jul-2013.
  41. ACM
    Akiki P Engineering adaptive user interfaces for enterprise applications Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, (151-154)
  42. ACM
    Akiki P, Bandara A and Yu Y Cedar studio Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, (139-144)
  43. ACM
    Spano L, Cisternino A, Paternò F and Fenu G GestIT Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, (187-196)
  44. ACM
    Dittmar A and Piehler S A constructive approach for design space exploration Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, (49-58)
  45. ACM
    Pleuss A, Wollny S and Botterweck G Model-driven development and evolution of customized user interfaces Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, (13-22)
  46. ACM
    Akiki P, Bandara A and Yu Y RBUIS Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, (3-12)
  47. ACM
    Lachaume T, Caffiau S, Girard P, Fousse A and Guittet L Comparaison de différentes approches de simulation dans les modèles de tâches Proceedings of the 2012 Conference on Ergonomie et Interaction homme-machine, (57-64)
  48. ACM
    Losada B, Urretavizcaya M, López-Gil J and Fernández-Castro I Combining InterMod agile methodology with usability engineering in a mobile application development Proceedings of the 13th International Conference on Interacción Persona-Ordenador, (1-8)
  49. ACM
    Tesoriero R, Gallud J, Villanueva P and Sebastián G Interaction modeling on heterogeneous spaces Proceedings of the 13th International Conference on Interacción Persona-Ordenador, (1-2)
  50. ACM
    Brüning J, Kunert M and Lantow B Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel Proceedings of the 12th Workshop on OCL and Textual Modelling, (43-48)
  51. Sindico A, Di Natale M and Sangiovanni-Vincentelli A An industrial system engineering process integrating model driven architecture and model based design Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (810-826)
  52. ACM
    Peissner M, Häbe D, Janssen D and Sellner T MyUI Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, (81-90)
  53. ACM
    Pleuss A, Hauptmann B, Dhungana D and Botterweck G User interface engineering for software product lines Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, (25-34)
  54. ACM
    Ramesh V, Hsu C, Agrawala M and Hartmann B ShowMeHow Proceedings of the 24th annual ACM symposium on User interface software and technology, (127-134)
  55. Tesoriero R, Bourimi M, Karatas F, Barth T, Villanueva P and Schwarte P Model-driven privacy and security in multi-modal social media UIs Proceedings of the 2011th International Conference on Modeling and Mining Ubiquitous Social Media - 2011 International Workshop on Modeling Social Media and 2011 International Workshop on Mining Ubiquitous and Social Environments, (158-181)
  56. Buchholz G and Forbrig P Elaborating analysis models with tool support Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part IV, (511-514)
  57. Losada B, Urretavizcaya M and de Castro I An integrated approach to develop interactive software Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part IV, (470-474)
  58. Miñón R and Abascal J Supportive adaptive user interfaces inside and outside the home Proceedings of the 19th international conference on Advances in User Modeling, (320-334)
  59. Forbrig P, Dittmar A, Brüning J and Wurdel M Making task modeling suitable for stakeholder-driven workflow specifications Proceedings of the 6th international conference on Universal access in human-computer interaction: design for all and eInclusion - Volume Part I, (51-60)
  60. Seissler M, Breiner K and Meixner G Towards pattern-driven engineering of run-time adaptive user interfaces for smart production environments Proceedings of the 14th international conference on Human-computer interaction: design and development approaches - Volume Part I, (299-308)
  61. Engel J, Märtin C and Forbrig P HCI patterns as a means to transform interactive user interfaces to diverse contexts of use Proceedings of the 14th international conference on Human-computer interaction: design and development approaches - Volume Part I, (204-213)
  62. Dittmar A and Forbrig P Intertwined modeling and implementation of interactive systems using HOPS Proceedings of the 14th international conference on Human-computer interaction: design and development approaches - Volume Part I, (194-203)
  63. ACM
    Spano L A model-based approach for gesture interfaces Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, (327-330)
  64. ACM
    Barbosa A, Paiva A and Campos J Test case generation from mutated task models Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, (175-184)
  65. ACM
    Ludwig B, Hacker M, Schaller R, Zenker B, Ivanov A and Riccardi G Tell me your needs Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, (157-160)
  66. Gelfi N Supporting end-user development of web sites through MAMBA Proceedings of the Third international conference on End-user development, (383-386)
  67. Gutschmidt A An approach to early recognition of web user tasks by the surfing behavior Proceedings of the 5th international conference on Semantic and digital media technologies, (64-79)
  68. Caffiau S, Scapin D, Girard P, Baron M and Jambon F (2010). Increasing the expressive power of task analysis, Interacting with Computers, 22:6, (569-593), Online publication date: 1-Nov-2010.
  69. Mahmud N, Vogt J, Luyten K, Slegers K, Van Den Bergh J and Coninx K Dazed and confused considered normal Proceedings of the Third international conference on Human-centred software engineering, (119-134)
  70. Prates R and da Silva R Avaliação do uso da manas como ferramenta epistêmica no projeto de sistemas colaborativos Proceedings of the IX Symposium on Human Factors in Computing Systems, (21-30)
  71. ACM
    Vanderdonckt J and Simarro F Generative pattern-based design of user interfaces Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, (12-19)
  72. ACM
    Breiner K, Seissler M, Meixner G, Forbrig P, Seffah A and Klöckner K PEICS Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, (1-3)
  73. ACM
    Sinnig D, Mizouni R and Khendek F Bridging the gap Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, (291-296)
  74. ACM
    Kritikos K and Paternò F Service discovery supported by task models Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, (261-266)
  75. ACM
    Paternò F, Santoro C and Spano L Exploiting web service annotations in model-based user interface development Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, (219-224)
  76. ACM
    Silva J, Silva C, Gonçalo R, Saraiva J and Campos J The GUISurfer tool Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, (181-186)
  77. ACM
    Dittmar A and Harrison M Representations for an iterative resource-based design approach Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, (135-144)
  78. ACM
    Kritikos K and Paternò F Task-driven service discovery and selection Proceedings of the International Conference on Advanced Visual Interfaces, (89-92)
  79. Saleh E, Kamel A and Fahmy A (2010). A model driven engineering design approach for developing multi-platform user interfaces, WSEAS Transactions on Computers, 9:5, (536-545), Online publication date: 1-May-2010.
  80. ACM
    Paterno' F, Santoro C and Spano L (2009). MARIA, ACM Transactions on Computer-Human Interaction, 16:4, (1-30), Online publication date: 1-Nov-2009.
  81. ACM
    Janeiro J, Barbosa S, Springer T and Schill A Enhancing user interface design patterns with design rationale structures Proceedings of the 27th ACM international conference on Design of communication, (9-16)
  82. Stary C Didactic Models as Design Representations Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains, (226-235)
  83. ACM
    Dittmar A and Forbrig P Task-based design revisited Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems, (111-116)
  84. ACM
    Paternò F, Santoro C and Spano L Support for authoring service front-ends Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems, (85-90)
  85. ACM
    Silva J, Saraiva J and Campos J A generic library for GUI reasoning and testing Proceedings of the 2009 ACM symposium on Applied Computing, (121-128)
  86. ACM
    Puerta A and Hu M UI Fin Proceedings of the 14th international conference on Intelligent user interfaces, (345-354)
  87. Sampaio A and de Souza C Usuários podem escrever especificações de sistemas? Um estudo empírico com uma linguagem de script Proceedings of the VIII Brazilian Symposium on Human Factors in Computing Systems, (224-233)
  88. ACM
    Bernonville S and Beuscart-Zéphir M Mise en œuvre d'un système d'aide aux choix des méthodes et modèles du GL et de I'IHM dans le cadre de projets visant I'informatisation de processus complexes en milieu hospitalier Proceedings of the 20th Conference on l'Interaction Homme-Machine, (151-158)
  89. Paternò F, Santoro C and Scorcia A (2008). A migration platform based on web services for migratory web applications, Journal of Web Engineering, 7:3, (220-238), Online publication date: 1-Sep-2008.
  90. ACM
    Blumendorf M, Feuerstack S and Albayrak S Multimodal user interfaces for smart environments Proceedings of the working conference on Advanced visual interfaces, (478-479)
  91. ACM
    Feuerstack S, Blumendorf M, Schwartze V and Albayrak S Model-based layout generation Proceedings of the working conference on Advanced visual interfaces, (217-224)
  92. Macías J and Paternò F (2008). Customization of Web applications through an intelligent environment exploiting logical interface descriptions, Interacting with Computers, 20:1, (29-47), Online publication date: 1-Jan-2008.
  93. Sorokin L, Montero F and Märtin C Flex RIA development and usability evaluation Proceedings of the 2007 international conference on Web information systems engineering, (447-452)
  94. Campos P and Nunes N (2007). Towards useful and usable interaction design tools, Interacting with Computers, 19:5-6, (597-613), Online publication date: 1-Dec-2007.
  95. Javahery H and Seffah A Refining the usability engineering toolbox Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care, (185-198)
  96. ACM
    Vanacken L, Raymaekers C and Coninx K Introducing semantic information during conceptual modelling of interaction for virtual environments Proceedings of the 2007 workshop on Multimodal interfaces in semantic interaction, (17-24)
  97. Caffiau S, Girard P, Scapin D and Guittet L Generating interactive applications from task models Proceedings of the 6th international conference on Task models and diagrams for user interface design, (267-272)
  98. David B, Champalle O, Masserey G and Chalon R From task model to wearable computer configuration Proceedings of the 6th international conference on Task models and diagrams for user interface design, (261-266)
  99. Bomsdorf B The WebTaskModel approach to web process modelling Proceedings of the 6th international conference on Task models and diagrams for user interface design, (240-253)
  100. Kristiansen R and Trætteberg H Model-based user interface design in the context of workflow models Proceedings of the 6th international conference on Task models and diagrams for user interface design, (227-239)
  101. Stoitsev T, Scheidl S and Spahn M A framework for light-weight composition and management of ad-hoc business processes Proceedings of the 6th international conference on Task models and diagrams for user interface design, (213-226)
  102. Dittmar A and Forbrig P Towards activity representations for describing task dynamics Proceedings of the 6th international conference on Task models and diagrams for user interface design, (198-212)
  103. Radeke F and Forbrig P Patterns in task-based modeling of user interfaces Proceedings of the 6th international conference on Task models and diagrams for user interface design, (184-197)
  104. Paternò F, Russino A and Santoro C Remote evaluation of mobile applications Proceedings of the 6th international conference on Task models and diagrams for user interface design, (155-169)
  105. Navarre D, Palanque P, Barboni E and Mistrzyk T On the benefit of synergistic model-based approach forsafety critical interactive system testing Proceedings of the 6th international conference on Task models and diagrams for user interface design, (140-154)
  106. Van den Bergh J and Coninx K From task to dialog model in the UML Proceedings of the 6th international conference on Task models and diagrams for user interface design, (98-111)
  107. Pérez-Medina J, Dupuy-Chessa S and Front A A survey of model driven engineering tools for user interface design Proceedings of the 6th international conference on Task models and diagrams for user interface design, (84-97)
  108. Sinnig D, Wurdel M, Forbrig P, Chalin P and Khendek F Practical extensions for task models Proceedings of the 6th international conference on Task models and diagrams for user interface design, (42-55)
  109. Vanacken L, Cuppens E, Clerckx T and Coninx K Extending a dialog model with contextual knowledge Proceedings of the 6th international conference on Task models and diagrams for user interface design, (28-41)
  110. Zhao X, Zou Y, Hawkins J, Madapusi B, Hawkins J and Madapusi B A business-process-driven approach for generating E-commerce user interface Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, (256-270)
  111. ACM
    Huebsch G and Kadner K Multimodal information access across multiple devices Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology, (736-742)
  112. Sottet J, Ganneau V, Calvary G, Coutaz J, Demeure A, Favre J and Demumieux R Model-driven adaptation for plastic user interfaces Proceedings of the 11th IFIP TC 13 international conference on Human-computer interaction, (397-410)
  113. De A. Barbosa C, Prates R and De Souza C Identifying potential social impact of collaborative systems at design time Proceedings of the 11th IFIP TC 13 international conference on Human-computer interaction, (31-44)
  114. Taleb M, Seffah A and Abran A Model-driven architecture for web applications Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability, (1198-1205)
  115. Dittmar A and Gaffar A Effective integration of task-based modeling and object-oriented specifications Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability, (1092-1101)
  116. David B, Chalon R, Delotte O and Masserey G Orchestra Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability, (1082-1091)
  117. Cortier A, d'Ausbourg B and Aït-Ameur Y Formal validation of Java/Swing user interfaces with the event B method Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability, (1062-1071)
  118. Buchholz G, Engel J, Märtin C and Propp S Model-based usability evaluation Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability, (1043-1052)
  119. Zhou W, Heesom D and Georgakis P Enhancing user-centered design by adopting the Taguchi philosophy Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability, (350-359)
  120. Yoon Y and Yoon W Development of quantitative metrics to support UI designer decision-making in the design process Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability, (316-324)
  121. Mori G, Paternò F and Santoro C Authoring multi-device web applications with database access Proceedings of the 7th international conference on Web engineering, (182-187)
  122. ACM
    Benz S Combining test case generation for component and integration testing Proceedings of the 3rd international workshop on Advances in model-based testing, (23-33)
  123. Sinnig D, Chalin P and Khendek F Common semantics for use cases and task models Proceedings of the 6th international conference on Integrated formal methods, (579-598)
  124. Macías J and Castells P (2007). Providing end-user facilities to simplify ontology-driven web application authoring, Interacting with Computers, 19:4, (563-585), Online publication date: 1-Jul-2007.
  125. Brinkman W, Haakma R and Bouwhuis D (2007). Towards an empirical method of efficiency testing of system parts, Interacting with Computers, 19:3, (342-356), Online publication date: 1-May-2007.
  126. Luyten K, Winters F, Coninx K, Naudts D and Moerman I A situation-aware mobile system to support fire brigades in emergency situations Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II, (1966-1975)
  127. Clerckx T, Vandervelpen C, Luyten K and Coninx K A prototype-driven development process for context-aware user interfaces Proceedings of the 5th international conference on Task models and diagrams for users interface design, (339-354)
  128. Dittmar A, Gellendin A and Forbrig P Requirements elicitation and elaboration in task-based design needs more than task modelling Proceedings of the 5th international conference on Task models and diagrams for users interface design, (275-291)
  129. Mäntyjärvi J, Paternò F and Santoro C Incorporating tilt-based interaction in multimodal user interfaces for mobile devices Proceedings of the 5th international conference on Task models and diagrams for users interface design, (230-244)
  130. Costa D, Nóbrega L and Nunes N An MDA approach for generating web interfaces with UML ConcurTaskTrees and canonical abstract prototypes Proceedings of the 5th international conference on Task models and diagrams for users interface design, (137-152)
  131. Leite J A model-based approach to develop interactive system using IMML Proceedings of the 5th international conference on Task models and diagrams for users interface design, (68-81)
  132. Maly I and Slavík P Towards visual analysis of usability test logs using task models Proceedings of the 5th international conference on Task models and diagrams for users interface design, (24-38)
  133. Van den Bergh J and Coninx K CUP 2.0 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (140-154)
  134. Garrido J, Noguera M, González M, Gea M and Hurtado M Leveraging the linda coordination model for a groupware architecture implementation Proceedings of the 12th international conference on Groupware: design, implementation, and use, (286-301)
  135. David B, Chalon R, Delotte O, Masserey G and Imbert M ORCHESTRA Proceedings of the 12th international conference on Groupware: design, implementation, and use, (163-178)
  136. López-Nores M, Pazos-Arias J, García-Duque J, Blanco-Fernández Y, Ramos-Cabrer M, Gil-Solla A, Fernández-Vilas A and Díaz-Redondo R (2006). Formal specification applied to multiuser distributed services, Journal of Systems and Software, 79:8, (1141-1155), Online publication date: 1-Aug-2006.
  137. Silva J, Campos J and Saraiva J Combining formal methods and functional strategies regarding the reverse engineering of interactive applications Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification, (137-150)
  138. Penichet V, Paternò F, Gallud J and Lozano M Collaborative social structures and task modelling integration Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification, (67-80)
  139. Egyed-Zsigmond E, Lajmi S and Iszlai Z Concurrent use in an image management system Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering, (403-417)
  140. ACM
    Paternò F and Giammarino F Authoring interfaces with combined use of graphics and voice for both stationary and mobile devices Proceedings of the working conference on Advanced visual interfaces, (329-335)
  141. ACM
    Florins M, Simarro F, Vanderdonckt J and Michotte B Splitting rules for graceful degradation of user interfaces Proceedings of the working conference on Advanced visual interfaces, (59-66)
  142. ACM
    Baron M, Lucquiaud V, Autard D and Scapin D K-MADe Proceedings of the 18th Conference on l'Interaction Homme-Machine, (287-288)
  143. ACM
    Ait-Ameur Y, Ait-Sadoune I, Mota J and Baron M Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve Proceedings of the 18th Conference on l'Interaction Homme-Machine, (123-130)
  144. ACM
    Duarte C and Carriço L A conceptual framework for developing adaptive multimodal applications Proceedings of the 11th international conference on Intelligent user interfaces, (132-139)
  145. De Troyer O, Casteleyn S and Plessers P Using ORM to model web systems Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems, (700-709)
  146. ACM
    Barbosa C, Prates R and de Souza C MArq-G* Proceedings of the 2005 Latin American conference on Human-computer interaction, (128-138)
  147. ACM
    Mori G and Paternò F Automatic semantic platform-dependent redesign Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies, (177-182)
  148. ACM
    Berti S and Paternò F Migratory MultiModal interfaces in MultiDevice environments Proceedings of the 7th international conference on Multimodal interfaces, (92-99)
  149. ACM
    Lucquiaud V Proposition d'un noyau et d'une structure pour les modèles de tâches orientés utilisateurs Proceedings of the 17th Conference on l'Interaction Homme-Machine, (83-90)
  150. ACM
    Luyten K, Vandervelpen C and Coninx K Task modeling for ambient intelligent environments Proceedings of the 4th international workshop on Task models and diagrams, (87-94)
  151. ACM
    Bruno A, Paternò F and Santoro C Supporting interactive workflow systems through graphical web interfaces and interactive simulators Proceedings of the 4th international workshop on Task models and diagrams, (63-70)
  152. ACM
    Nóbrega L, Nunes N and Coelho H DialogSketch Proceedings of the 4th international workshop on Task models and diagrams, (19-25)
  153. ACM
    Clerckx T, Winters F and Coninx K Tool support for designing context-sensitive user interfaces using a model-based approach Proceedings of the 4th international workshop on Task models and diagrams, (11-18)
  154. ACM
    Bandelloni R, Mori G and Paternò F Dynamic generation of web migratory interfaces Proceedings of the 7th international conference on Human computer interaction with mobile devices & services, (83-90)
  155. López-Jaquero V, Montero F, Molina J, González P and Fernández-Caballero A A multi-agent system architecture for the adaptation of user interfaces Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications, (583-586)
  156. Paquette D and Schneider K Task model simulation using interaction templates Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification, (78-89)
  157. Paternò F and Volpe M Natural modelling of interactive applications Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification, (67-77)
  158. Ponsard C, Balych N, Massonet P, Vanderdonckt J and van Lamsweerde A Goal-Oriented design of domain control panels Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification, (249-260)
  159. Nóbrega L, Nunes N and Coelho H Mapping concurtasktrees into UML 2.0 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification, (237-248)
  160. Cuppens E, Raymaekers C and Coninx K A model-based design process for interactive virtual environments Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification, (225-236)
  161. Campos J and Doherty G Supporting resource-based analysis of task information needs Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification, (188-200)
  162. Montero F, López-Jaquero V, Vanderdonckt J, González P, Lozano M and Limbourg Q Solving the mapping problem in user interface design by seamless integration in IDEALXML Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification, (161-172)
  163. ACM
    Van den Bergh J and Coninx K Towards modeling context-sensitive interactive applications Proceedings of the 2005 ACM symposium on Software visualization, (87-94)
  164. ACM
    Plessers P, Casteleyn S, Yesilada Y, De Troyer O, Stevens R, Harper S and Goble C Accessibility Proceedings of the 14th international conference on World Wide Web, (353-362)
  165. ACM
    Samaan K and Tarpin-Bernard F Task models and interaction models in a multiple user interfaces generation process Proceedings of the 3rd annual conference on Task models and diagrams, (137-144)
  166. ACM
    Furtado E, Furtado V, Sousa K, Vanderdonckt J and Limbourg Q KnowiXML Proceedings of the 3rd annual conference on Task models and diagrams, (121-128)
  167. ACM
    Suàrez P, Jùnior B and de Barros M Applying knowledge management in UI design process Proceedings of the 3rd annual conference on Task models and diagrams, (113-120)
  168. ACM
    Paternò F and Zini E Applying information visualization techniques to visual representations of task models Proceedings of the 3rd annual conference on Task models and diagrams, (105-111)
  169. ACM
    Gaffar A, Sinnig D, Seffah A and Forbrig P Modeling patterns for task models Proceedings of the 3rd annual conference on Task models and diagrams, (99-104)
  170. ACM
    Teuber C and Forbrig P Different types of patterns for online-booking systems Proceedings of the 3rd annual conference on Task models and diagrams, (91-97)
  171. ACM
    Van den Bergh J and Coninx K Model-based design of context-sensitive interactive applications Proceedings of the 3rd annual conference on Task models and diagrams, (43-50)
  172. ACM
    Clerckx T, Luyten K and Coninx K The mapping problem back and forth Proceedings of the 3rd annual conference on Task models and diagrams, (33-42)
  173. ACM
    Delotte O, David B and Chalon R Task modelling for capillary collaborative systems based on scenarios Proceedings of the 3rd annual conference on Task models and diagrams, (25-31)
  174. ACM
    Vandervelpen C and Coninx K Towards model-based design support for distributed user interfaces Proceedings of the third Nordic conference on Human-computer interaction, (61-70)
  175. ACM
    Delotte O, David B and Chalon R Construction d'un modèle comportemental pour le travail coopératif capillaire Proceedings of the 16th Conference on l'Interaction Homme-Machine, (207-210)
  176. ACM
    Chalon R and David B Modélisation de l'interaction collaborative dans les systèmes de Réalité Mixte Proceedings of the 16th Conference on l'Interaction Homme-Machine, (37-44)
  177. Mori G, Paterno F and Santoro C (2004). Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions, IEEE Transactions on Software Engineering, 30:8, (507-520), Online publication date: 1-Aug-2004.
  178. Eichholz C, Dittmar A and Forbrig P Using task modelling concepts for achieving adaptive workflows Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems, (96-111)
  179. Clerckx T, Luyten K and Coninx K DynaMo-AID Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems, (77-95)
  180. Correani F, Mori G and Paternò F Supporting flexible development of multi-device interfaces Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems, (346-362)
  181. Brinkman W, Haakma R and Bouwhuis D Empirical usability testing in a component-based environment Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems, (20-37)
  182. Diniz Junqueira Barbosa S, Selbach Silveira M, de Paula M and Koogan Breitman K Supporting a shared understanding of communication-oriented concerns in human-computer interaction Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems, (271-288)
  183. Limbourg Q, Vanderdonckt J, Michotte B, Bouillon L and López-Jaquero V USIXML Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems, (200-220)
  184. Macías J and Castells P Finding iteration patterns in dynamic web page authoring Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems, (164-178)
  185. ACM
    Berti S, Correani F, Mori G, Paternò F and Santoro C TERESA CHI '04 Extended Abstracts on Human Factors in Computing Systems, (793-794)
  186. ACM
    Berti S, Mori G, Paternò F and Santoro C A transformation-based environment for designing multi-device interactive applications Proceedings of the 9th international conference on Intelligent user interfaces, (352-353)
  187. ACM
    Baron M and Girard P SUIDT Proceedings of the 9th international conference on Intelligent user interfaces, (350-351)
  188. ACM
    Bandelloni R and Paternò F Flexible interface migration Proceedings of the 9th international conference on Intelligent user interfaces, (148-155)
  189. ACM
    Florins M and Vanderdonckt J Graceful degradation of user interfaces as a design method for multiplatform systems Proceedings of the 9th international conference on Intelligent user interfaces, (140-147)
  190. ACM
    Samaan K and Tarpin-Bernard F Using interaction patterns for the adaptation of multi target user interfaces Proceedings of the 15th Conference on l'Interaction Homme-Machine, (272-275)
  191. ACM
    Baron M and Girard P SUIDT Proceedings of the 15th Conference on l'Interaction Homme-Machine, (198-201)
  192. ACM
    Jambon F First steps in the retro-engineering of a GUI toolkit in the B language Proceedings of the 15th Conference on l'Interaction Homme-Machine, (118-125)
  193. ACM
    Delotte O, David B and Chalon R A groupware environment for transient virtual organization building Proceedings of the 15th Conference on l'Interaction Homme-Machine, (72-79)
  194. ACM
    Paternò F Models for universal usability Proceedings of the 15th Conference on l'Interaction Homme-Machine, (9-16)
  195. ACM
    Silveira M, de Souza C and Barbosa S A method of Semiotic engineering for the online help systems construction Proceedings of the Latin American conference on Human-computer interaction, (167-177)
  196. ACM
    Mori G, Paternò F and Santoro C Tool support for designing nomadic applications Proceedings of the 8th international conference on Intelligent user interfaces, (141-148)
  197. ACM
    Baron M De la conception à la construction d'application sûre Proceedings of the 14th Conference on l'Interaction Homme-Machine, (285-286)
  198. ACM
    Lucquiaud V, Scapin D and Jambon F Outils de modélisation des tâches utilisateurs Proceedings of the 14th Conference on l'Interaction Homme-Machine, (243-246)
  199. ACM
    Baron M Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface Proceedings of the 14th Conference on l'Interaction Homme-Machine, (73-80)
  200. ACM
    Lacaze X, Palanque P and Navarre D Analyse de performance et modéles de Tâches comme support à la conception rationnelle des systèmes interactifs Proceedings of the 14th Conference on l'Interaction Homme-Machine, (17-24)
  201. Carboni D, Sanna S, Giroux S and Paddeu G Interactions Model and Code Generation for J2ME Applications Proceedings of the 4th International Symposium on Mobile Human-Computer Interaction, (286-290)
  202. ACM
    Paganelli L and Paterno F Automatic reconstruction of the underlying interaction design of web applications Proceedings of the 14th international conference on Software engineering and knowledge engineering, (439-445)
  203. ACM
    Ali M and Pérez-Quiñones M Using task models to generate multi-platform user interfaces while ensuring usability CHI '02 Extended Abstracts on Human Factors in Computing Systems, (670-671)
  204. ACM
    Paganelli L and Paternò F Intelligent analysis of user interactions with web applications Proceedings of the 7th international conference on Intelligent user interfaces, (111-118)
  205. Navarre D, Palanque P, Paternò F, Santoro C and Bastide R A Tool Suite for Integrating Task and System Models through Scenarios Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers, (88-113)
  206. ACM
    Paternò F and Paganelli L Remote automatic evaluation of web sites based on task models and browser monitoring CHI '01 Extended Abstracts on Human Factors in Computing Systems, (283-284)
  207. ACM
    Paternò F, Mori G and Galiberti R CTTE CHI '01 Extended Abstracts on Human Factors in Computing Systems, (21-22)
  208. ACM
    Palanque P and Paternò F (2001). Design, specification, and verification of interactive systems, ACM SIGSOFT Software Engineering Notes, 26:1, (74-75), Online publication date: 1-Jan-2001.
  209. ACM
    Paterno F (2000). Model-based design of interactive applications, intelligence, 11:4, (26-38), Online publication date: 1-Dec-2000.
  210. Nunes N and e Cunha J Towards a UML profile for interaction design Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (101-116)
  211. Limbourg Q, Vanderdonckt J and Souchon N The task-dialog and task-presentation mapping problem Proceedings of the 7th international conference on Design, specification, and verification of interactive systems, (227-246)
  212. Nunes N and Cunha J Wisdom Proceedings of the 7th international conference on Design, specification, and verification of interactive systems, (191-205)
  213. Dittmar A More precise descriptions of temporal relations within task models Proceedings of the 7th international conference on Design, specification, and verification of interactive systems, (151-168)
  214. Paternò F and Santoro C Integrating model checking and HCI tools to help designers verify user interface properties Proceedings of the 7th international conference on Design, specification, and verification of interactive systems, (135-150)
  215. ACM
    Palanque P and Paternò F Design, specification, and verification of interactive systems (workshop session) Proceedings of the 22nd international conference on Software engineering, (803-804)
Contributors
  • Italian National Research Council

Recommendations