Show simple item record  

dc.contributor.authorWeyers, Benjaminen_NZ
dc.contributor.authorBowen, Judyen_NZ
dc.contributor.authorDix, Alanen_NZ
dc.contributor.authorPalanque, Philippeen_NZ
dc.coverage.spatialDuisbury, Germanyen_NZ
dc.date.accessioned2016-05-26T23:37:09Z
dc.date.available2015-06-23en_NZ
dc.date.available2016-05-26T23:37:09Z
dc.date.issued2015-06-23en_NZ
dc.identifier.citationWeyers, B., Bowen, J., Dix, A., & Palanque, P. (2015). Workshop on formal methods in human computer interaction. In Proceeding of the 2015 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 294–295). Duisbury, Germany: ACM. http://doi.org/10.1145/2774225.2777460en
dc.identifier.isbn9781450336468en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/10273
dc.description.abstractThis workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The mam objective is twofold: on one hand look at the evolutions of the definition and use of formal methods for interactive systems since the last book on the field nearly 20 years ago [1] following the seminal work reported in [2] On the other hand, to identify important themes for the next decade of research. Formal methods aid in the design, development and evaluation of interactive systems providing the unique opportunity for complete and unambiguous description amenable to formal verification. The HCI community has demonstrated that the next generation of user interfaces is moving off the desktop: These emerging interfaces exploit novel input techniques such as tangible, haptic, camera-based, bram-computer, interaction, present a large quantity of information possibly distributed to a wide range of devices. In this workshop, we will discuss common themes, conflicting approaches and techniques, and future directions for the next generation of formal methods that will support the development of large scale dependable and usable interactive systems.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherACMen_NZ
dc.rights© 2015 copyright with the authors.
dc.sourceEICS 2015en_NZ
dc.titleWorkshop on formal methods in human computer interactionen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1145/2774225.2777460en_NZ
dc.relation.isPartOfProceeding of the 2015 ACM SIGCHI Symposium on Engineering Interactive Computing Systemsen_NZ
pubs.begin-page294
pubs.elements-id138371
pubs.end-page295
pubs.finish-date2015-06-26en_NZ
pubs.start-date2015-06-23en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record