Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This chapter introduces a set of case studies that are used in the rest of the book. They encompass well-known problem domains in human–computer interaction research and provide a practical focus for the approaches presented in this book. The set of case studies includes case studies concerned with the controller interface to a (semiautomated) nuclear power plant; a partly autonomous arrival management interactive system in the domain of air traffic control; a user interface for new interactive cockpits; and an interactive system used in rural and urban areas to maintain wind turbines. The final case study brings an interesting perspective for formal techniques, namely interactive public displays.
Author(s): Weyers B, Harrison MD, Bowen J, Palanque P
Editor(s): Weyers, B; Bowen, J; Dix, A; Palanque, P
Publication type: Book Chapter
Publication status: Published
Book Title: The Handbook of Formal Methods in Human-Computer Interaction
Print publication date: 25/04/2017
Acceptance date: 06/12/2016
Publisher: Springer International Publishing
Library holdings: Search Newcastle University Library for this item