Case Studies

Benjamin  Weyers; Michael  Harrison; Judy Bowen; Alan Dix; Philippe Palanque

doi:10.1007/978-3-319-51838-1_4

Case Studies

Benjamin Weyers, Michael Harrison, Judy Bowen, Alan Dix, Philippe Palanque

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

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 In-teraction 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 (semi-automated) 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.
Introduction

Original language	English
Title of host publication	The Handbook of Formal Methods in Human-Computer Interaction
Editors	Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
Publisher	Springer
Pages	89-121
ISBN (Electronic)	9783319518381
ISBN (Print)	9783319518374
DOIs	https://doi.org/10.1007/978-3-319-51838-1_4
Publication status	Published - 26 Apr 2017

Publication series

Name	Human–Computer Interaction Series
Publisher	Springer
ISSN (Print)	1571-5035

Access to Document

10.1007/978-3-319-51838-1_4

Cite this

@inbook{bd2ba5d0f042405994e3a3faed949f9c,

title = "Case Studies",

abstract = "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 In-teraction 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 (semi-automated) 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.Introduction",

author = "Benjamin Weyers and Michael Harrison and Judy Bowen and Alan Dix and Philippe Palanque",

year = "2017",

month = apr,

day = "26",

doi = "10.1007/978-3-319-51838-1_4",

language = "English",

isbn = "9783319518374",

series = "Human–Computer Interaction Series",

publisher = "Springer",

pages = "89--121",

editor = "Benjamin Weyers and Judy Bowen and Dix, {Alan } and {Palanque }, {Philippe }",

booktitle = "The Handbook of Formal Methods in Human-Computer Interaction",

}

TY - CHAP

T1 - Case Studies

AU - Weyers, Benjamin

AU - Harrison, Michael

AU - Bowen, Judy

AU - Dix, Alan

AU - Palanque, Philippe

PY - 2017/4/26

Y1 - 2017/4/26

N2 - 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 In-teraction 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 (semi-automated) 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.Introduction

AB - 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 In-teraction 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 (semi-automated) 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.Introduction

U2 - 10.1007/978-3-319-51838-1_4

DO - 10.1007/978-3-319-51838-1_4

M3 - Chapter

SN - 9783319518374

T3 - Human–Computer Interaction Series

SP - 89

EP - 121

BT - The Handbook of Formal Methods in Human-Computer Interaction

A2 - Weyers, Benjamin

A2 - Bowen, Judy

A2 - Dix, Alan

A2 - Palanque , Philippe

PB - Springer

ER -

Case Studies

Abstract

Publication series

Access to Document

Fingerprint

Cite this