M.D. Harrison, J.C. Campos, P. Masci and N. Thomas
Modelling and systematic analysis of interactive systems
In Matthew L. Bolton, Asaf Degani and Philippe Palanque, editors, Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H), pages 25-28. 2012.

Abstract

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.

  visit publisher download from RepositoriUM

@InProceedings{HarrisonCMT:2012,
 author = {M.D. Harrison and J.C. Campos and P. Masci and N. Thomas},
 title = {Modelling and systematic analysis of interactive systems},
 booktitle = {Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H)},
 year = {2012},
 pages = {25-28},
 editor = {Matthew L. Bolton and Asaf Degani and Philippe Palanque},
 paperurl = {http://hdl.handle.net/1822/35643},
 url = {http://www.fmhfe.com/FormalH/FormalH.2012.Proceedings.pdf},
 abstract = {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.}
}

Generated by mkBiblio 2.6.16