Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/35643

TitleModelling and systematic analysis of interactive systems
Author(s)Harrison, Michael D.
Masci, Paolo
Campos, J. Creissac
Thomas, Nigel
Issue date2012
PublisherImperial College
Abstract(s)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.
TypeConference paper
URIhttp://hdl.handle.net/1822/35643
Peer-Reviewedyes
AccessOpen access
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)

Files in This Item:
File SizeFormat 
373.pdf636,37 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID