A formal approach to the evaluation of interactive systems
Fabio Paternò · ACM SIGCHI Bulletin · 1994
In this paper we describe an approach whose main purpose is to identify and formalise concepts which are useful in the evaluation work of designers of Interactive Systems. Usually designers have to decide architectural and interactional solutions for supporting users' tasks. Architectural solutions identify the basic components of the considered system and their relationships. Interactional solutions define the sequences of users' actions and system feedback which they want to make available for the users.