Modelling and systematic analysis of interactive systems
- Citation:
- Harrison M, Campos JC, Masci P, Thomas N. 2012. Modelling and systematic analysis of interactive systems. Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H). :25-28. copy at www.tinyurl.com/y8dyjr3w
Date Presented:
MayAbstract:
Two aspects of our research concern the application of formal methods in human-computer interaction. The first aspect is the modelling and analysis of interactive devices with a particular emphasis on the user device dyad. The second is the modelling and analysis of ubiquitous systems where there are many users, one might say crowds of users.The common thread of both is to articulate and prove properties of interactive systems, to explore interactive behaviour as it influences the user, with a particular emphasis on interaction failure. The goal is to develop systematic techniques that can be packaged in such a way that they can be used effectively by developers. This “whitepaper” will briefly describe the two approaches and their potential value as well as their limitations and development opportunities.
Citation Key:
HarrisonCMT:2012
Recent Publications
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.