A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications.

Fabio Paternò M. S. Sciacchitano Jonas Löwgren

Published in: DSV-IS (1995)

Keyphrases

user actions
formal specification
user interface
user behavior
model checking
user interaction
human computer interaction
artificial intelligence
user experience
user model
state space
evaluation metrics
reverse engineering