This book proposes a combination of cognitive modeling with model-based user interface
development to tackle the problem of maintaining the usability of applications that target
several device types at once (e.g. desktop PC smart phone smart TV). Model-based
applications provide interesting meta-information about the elements of the user interface (UI)
that are accessible through computational introspection. Cognitive user models can capitalize
on this meta-information to provide improved predictions of the interaction behavior of future
human users of applications under development. In order to achieve this cognitive processes
that link UI properties to usability aspects like effectiveness (user error) and efficiency
(task completion time) are established empirically are explained through cognitive modeling
and are validated in the course of this treatise. In the case of user error the book develops
an extended model of sequential action control based on the Memory for Goals theory and it is
confirmed in different behavioral domains and experimental paradigms.This new model of user
cognition and behavior is implemented using the MeMo workbench and integrated with the
model-based application framework MASP in order to provide automated usability predictions from
early software development stages on. Finally the validity of the resulting integrated system
is confirmed by empirical data from a new application eliciting unexpected behavioral
patterns.