Sciweavers

Share
218 search results - page 1 / 44
» Formal Analysis and Automatic Generation of User Interfaces:...
Sort
View
HF
2007
131views more  HF 2007»
10 years 2 months ago
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
Michael Heymann, Asaf Degani
EICS
2010
ACM
10 years 7 months ago
User interface model discovery: towards a generic approach
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
Andy Gimblett, Harold W. Thimbleby
DSVIS
2005
Springer
10 years 8 months ago
Automatic Critiques of Interface Modes
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns
EHCI
1998
10 years 4 months ago
Toward the Automatic Construction of Task Models from Object-Oriented Diagrams
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
Shijian Lu, Cécile Paris, Keith Vander Lind...
IUI
2004
ACM
10 years 8 months ago
SUPPLE: automatically generating user interfaces
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...
Krzysztof Gajos, Daniel S. Weld
books