Topics of formal methods in HCI

Bowen, Judy; Dix, Alan; Palanque, Philippe; Weyers, Benjamin

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

Files

Chapter2_Final.pdf

Accepted version, 52.10Kb

DOI

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

Citation

Export citation

Bowen, J., Dix, A., Palanque, P., & Weyers, B. (2017). Topics of formal methods in HCI. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 57–64). Cham, Switzerland: Springer International Publishing. https://doi.org/10.1007/978-3-319-51838-1_2

Permanent Research Commons link: https://hdl.handle.net/10289/11088

Abstract

In this chapter, we present an overview of some of the general themes and topics that can be seen in research into formal methods in human–computer interaction. We discuss how the contents of the rest of the book relate to these topics. In particular, we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of research that are relevant, but are not represented within the book chapters.

Date

2017

Type

Chapter in Book

Publisher

Springer International Publishing

Rights

Collections

Computing and Mathematical Sciences Papers [1457]