Usando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?
Formal Description Techniques for Human-Machine Interfaces Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems
Task Models and System Models as a Bridge between HCI and Sofware Engineering
Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications
Model-based training: an approach supporting operability of critical interactive systems
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques
Interacting with Computers
Philippe PALANQUE
Marco Antônio Alba Winckler
C. MARTINIE
ERIC BARBONI
J. F. LADRY
Regina BERNHAUPT
FlowStates: Prototypage D’Applications Interactives Avec Des Flots De DonnÉEs Et Des Machines À ÉTats