[КНИГА][B] Human-computer interaction

A Dix - 2004 - books.google.com
Much has changed since the first edition of human-computer interaction was published.
Ubiquitous computing and rich sensor-filled environments are finding their way out of the …

[КНИГА][B] HCI models, theories, and frameworks: Toward a multidisciplinary science

JM Carroll - 2003 - books.google.com
HCI Models, Theories, and Frameworks provides a thorough pedagological survey of the
science of Human-Computer Interaction (HCI). HCI spans many disciplines and professions …

[PDF][PDF] ConcurTaskTrees: an engineered notation for task models

F Paternò - The handbook of task analysis for human-computer …, 2004 - giove.isti.cnr.it
Task models represent the intersection between user interface design and more
engineering approaches by providing designers with a means of representing and …

Structuring and composition mechanisms to address scalability issues in task models

C Martinie, P Palanque, M Winckler - IFIP Conference on Human …, 2011 - Springer
Along tasks analysis and modeling history it has been demonstrated by experience that task
modeling activities become cumbersome when performed on large, real-life systems …

Beyond modelling: an integrated environment supporting co-execution of tasks and systems models

E Barboni, JF Ladry, D Navarre, P Palanque… - Proceedings of the 2nd …, 2010 - dl.acm.org
This paper focuses on the articulations of task models and system models. Tasks models are
meant to be used by human factor specialists whilst system models are supposed to be …

State of the art on formal methods for interactive systems

R Oliveira, P Palanque, B Weyers, J Bowen… - The handbook of formal …, 2017 - Springer
This chapter provides an overview of several formal approaches for the design,
specification, and verification of interactive systems. For each approach presented, we …

A generic tool-supported framework for coupling task models and interactive applications

C Martinie, D Navarre, P Palanque… - Proceedings of the 7th …, 2015 - dl.acm.org
Task models are a very powerful artefact describing users' goals and users' activity and
contain numerous information extremely useful for designing usable interactive application …

A more intelligent test case generation approach through task models manipulation

JC Campos, C Fayollas, M Gonçalves… - Proceedings of the …, 2017 - dl.acm.org
Ensuring that an interactive application allows users to perform their activities and reach
their goals is critical to the overall usability of the interactive application. Indeed, the …

Systematic automation of scenario-based testing of user interfaces

JC Campos, C Fayollas, C Martinie, D Navarre… - Proceedings of the 8th …, 2016 - dl.acm.org
Ensuring the effectiveness factor of usability consists in ensuring that the application allows
users to reach their goals and perform their tasks. One of the few means for reaching this …

Engineering rehabilitation: blending two tool-supported approaches to close the loop from tasks-based rehabilitation to exercises and back again

C Axel, JE Garrido, C Martinie, P Palanque… - Proceedings of the …, 2023 - dl.acm.org
Post-stroke or post-brain injuries rehabilitation is a long-term process defined by therapists
and tuned to the specific damages and their consequences for each patient. This process …