Trends and Gaps

Alan Dix, Benjamin Weyers, Judy Bowen, Philippe Palanque

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

2 Citations (Scopus)


This chapter attempts to identify future research directions for formal methods in HCI. It does this using two main approaches. First we will look at trends within HCI more broadly and the challenges these pose for formal methods. These trends in HCI are often themselves driven by external technical and societal change, for example the growth of maker/hacker culture and the increasing dependence of digital technology for basic citizenship, effectively establishing external require-ments for the field. Second we will look inwards at the FoMHCI literature, the user interaction phenomena it is trying to address and the processes of interaction design it is intended to support. Through this second analysis we will identify internally generated trends. This does not lead to a single overarching research agenda, but does identify a number of critical areas and issues, and hence establishing opportu-nities for further research to expand the state of the art.
Original languageEnglish
Title of host publicationThe Handbook of Formal Methods in Human-Computer Interaction
EditorsBenjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
ISBN (Electronic)9783319518381
ISBN (Print)9783319518374
Publication statusPublished - 26 Apr 2017

Publication series

NameHuman–Computer Interaction Series
ISSN (Print)1571-5035


Dive into the research topics of 'Trends and Gaps'. Together they form a unique fingerprint.

Cite this