Show simple item record  

dc.contributor.authorBowen, Judyen_NZ
dc.contributor.authorDix, Alanen_NZ
dc.contributor.authorPalanque, Philippeen_NZ
dc.contributor.authorWeyers, Benjaminen_NZ
dc.contributor.editorWeyers, Benjaminen_NZ
dc.contributor.editorBowen, Judyen_NZ
dc.contributor.editorDix, Alanen_NZ
dc.contributor.editorPalanque, Philippeen_NZ
dc.date.accessioned2017-06-02T02:17:41Z
dc.date.available2017en_NZ
dc.date.available2017-06-02T02:17:41Z
dc.date.issued2017en_NZ
dc.identifier.citationBowen, J., Dix, A., Palanque, P., & Weyers, B. (2017). Topics of formal methods in HCI. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 57–64). Cham, Switzerland: Springer International Publishing. https://doi.org/10.1007/978-3-319-51838-1_2en
dc.identifier.isbn978-3-319-51838-1en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/11088
dc.description.abstractIn this chapter, we present an overview of some of the general themes and topics that can be seen in research into formal methods in human–computer interaction. We discuss how the contents of the rest of the book relate to these topics. In particular, we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of research that are relevant, but are not represented within the book chapters.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherSpringer International Publishing
dc.rights© 2017 Springer International Publishing.This is the author's accepted version. The final publication is available at Springer via 10.1007/978-3-319-51838-1_2
dc.subjectcomputer scienceen_NZ
dc.subjectformal methodsen_NZ
dc.subjecthuman computer interactionen_NZ
dc.subjectHCIen_NZ
dc.titleTopics of formal methods in HCIen_NZ
dc.typeChapter in Book
dc.identifier.doi10.1007/978-3-319-51838-1_2en_NZ
dc.relation.isPartOfThe Handbook of Formal Methods in Human-Computer Interactionen_NZ
pubs.begin-page57
pubs.elements-id193900
pubs.end-page64
pubs.place-of-publicationCham, Switzerland
pubs.publication-statusPublisheden_NZ
pubs.publisher-urlhttps://books.google.co.nz/books?id=cGm8DgAAQBAJ&pg=PR4&lpg=PR4&dq=978-3-319-51837-4&source=bl&ots=sEFq7HrCV6&sig=vCkOxLUE0E4XiVB0nNL9tEb2JVY&hl=en&sa=X&ved=0ahUKEwjTjOiepdXTAhUMjpQKHSOIBbQQ6AEILTAD#v=onepage&q=978-3-319-51837-4&f=falseen_NZ
uow.identifier.chapter-no2


Files in this item

This item appears in the following Collection(s)

Show simple item record