Topics of Formal Methods in HCI - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2017

Topics of Formal Methods in HCI

Résumé

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.

Dates et versions

hal-03131905 , version 1 (04-02-2021)

Identifiants

Citer

Judy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers. Topics of Formal Methods in HCI. Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.57--64, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_2⟩. ⟨hal-03131905⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More