Titlebook: Interactive Systems. Design, Specification, and Verification; 13th International W Gavin Doherty,Ann Blandford Conference proceedings 2007

拍下盜公款

An Investigation into the Validation of Formalised Cognitive Dimensionsn their effective use. As such the framework facilitates the critical assessment and design of a wide variety of information artifacts. Although the framework has proved to be of considerable interest to researchers and practitioners, there has been little research examining how easily the dimension

通知

主動(dòng)脈

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive al to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s l

STIT

commonsense

Visual Design of User Interfaces by (De)compositions of use, such as for other users, other platforms, and other environments. This paper addresses this problem by introducing a new visual design method for graphical users interfaces referred to as “visual design by (de)composition”. In this method, any individual or composite component of a graphic

resilience

Exploring the Specification of Haptic Interactionted. However, recent advances in haptic devices have facilitated new levels of virtual environment interaction by the development of environments where it is possible to touch and . virtual objects. Such environments support a richer set of possible user interactions..This paper explores haptic spec

MOAN

Analysis of Pointing Tasks on a White Boardt traces in an automatic way with the Mimio device. Such traces provide detailed insight in the variability of 2D pointing relevant for example for the design of computer vision based gestural interaction. This study provides experimental evidence that for medium large distances Fitts’ model, and We

judiciousness

Licentious

A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Associa looks for the redefinition of the prototype requirements, involving quantitative and qualitative usability testing techniques. This paper describes a new approach in which the traditional methodology for performing the Evaluation Stage under UCD is embedded in a framework with capabilities for mini

演繹

Rapid User-Centred Evaluation for Context-Aware Systemsomputing markets. It focuses on evaluating the user interactions with context-aware adaptive systems while synchronising the control of the environmental context that drives adaptivity and the user’s perception of that environment. The platform uses a 3D virtual reality simulation to present the env