This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of wh

This Handbook is concerned with principles of human factors engineering for design of the human-computer interface. It has both academic and practical purposes;

Winner of a 2013 CHOICE Outstanding Academic Title Award The third edition of a groundbreaking reference, The Human-Computer Interaction Handbook: Fundamentals,

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whethe

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal Wor