Abstract
The first part of this lecture will give a lightning introduction to the use of formal methods in human–computer interaction. This will include and overview of the kinds of models, and typical domains where technqiues are currently applied. It will then outline some of the potential future directions for the field based on the “Trends and Gaps” chaper of “The Handbook of Formal Methods in Human-Computer Interaction”.
In the second part we will focus on a specific area, the formal specification and analysis of systems that have both physical and digital aspects. This will incude using physigrams, a extension of finite state networks for describing interactions with physical devices such hand-held controllers. We will also look at the ways formal analuysis contributed to the design of a internet-enabled ‘cafe open’ sign – IoT in action!
Keywords: human-computer interaction, formal methods, formal models, physigrams, IoT, physical-digital design
|