Fabio Paternò

Migratory Interactive Applications for Ubiquitous Environments

Ubiquitous environments are important because they allow users to move about freely and continue the interaction with the available applications throu...

Model-Based Design and Evaluation of Interactive Applications

This book covers methods for user interface design and evaluation. It shows how the systematic use of task models can make the design and development ...

Interactive Systems: Design, Specification, and Verification

1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the applic...

Formal Methods in Human-Computer Interaction

This volume examines the proposition that formal methods are one of the conceptual tools that can support the design of Interactive Systems, understan...