Encontrados 6 documentos, a visualizar página 1 de 1

Ordenado por Data

Is there a role for rigorous system analysis in experience experience centred d...

Harrison, M. D.; Doherty, Gavin J.; Campos, J. Creissac

Position paper - Interact 2005 : Workshop on Space, Place and Experience in Human-Computer Interaction, Rome, Italy, 13 Setembro 2005.


Supporting resource-based analysis of task information needs

Campos, J. Creissac; Doherty, Gavin J.

We investigate here an approach to modelling the dynamic information requirements of a user performing a number of tasks, addressing both the provision and representation of information, viewing the information as being distributed across a set of resources. From knowledge of available resources at the user interface, and task information needs we can identify whether the system provides the user with adequate ...


Reasoning about dynamic information displays

Campos, J. Creissac; Doherty, Gavin J.

With increasing use of computing systems while on the move and in constantly changing conditions, whether it is via mobile devices, wearable computers or embedded systems in the environment, time plays an increasingly important role in interaction. The way in which information is represented in an interface is fundamental to interaction with it, and how the information is used in the users tasks and activities....


Reasoning about time in dynamic information displays

Campos, J. Creissac; Doherty, Gavin J.

With increasing use of computing systems while on the move and in constantly changing conditions, whether it is via mobile devices, wearable computers or embedded systems in the environment, time plays an increasingly important role in interaction. The way in which information is represented in an interface is fundamental to interaction with it, and how we use the information in the users tasks and activities. ...


Representational reasoning and verification

Doherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.

Formal approaches to the design of interactive systems rely on reasoning about properties of the system at a very high level of abstraction. Specifications to support such an approach typically provide little scope for reasoning about presentations and the representation of information in the presentation. In contrast, psychological theories such as distributed cognition place a strong emphasis on the role of r...


Representational reasoning and verification

Doherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.

Formal approaches to the design of interactive systems, such as the principled design approach rely on reasoning about properties of the system at a very high level of abstraction. Such specifications typically provide little scope for reasoning about presentations and the representation of information in the presentation. Theories of distributed cognition place a strong emphasis on the role of representations ...


6 Resultados

Texto Pesquisado

Refinar resultados

Autor




Data






Tipo de Documento



Recurso


Assunto









    Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento União Europeia