Publication: Topics of formal methods in HCI
Loading...
Permanent Link
Rights
© 2017 Springer International Publishing.This is the author's accepted version. The final publication is available at Springer via 10.1007/978-3-319-51838-1_2
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.
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
Type
Series name
Date
Publisher
Springer International Publishing