State of the art on formal methods for interactive systems

Simple item page
dc.contributor.authorOliveira, Raquelen_NZ
dc.contributor.authorPalanque, Philippeen_NZ
dc.contributor.authorWeyers, Benjaminen_NZ
dc.contributor.authorBowen, Judyen_NZ
dc.contributor.authorDix, Alanen_NZ
dc.contributor.editorWeyer, Benjaminen_NZ
dc.contributor.editorBowen, Judyen_NZ
dc.contributor.editorDix, Alanen_NZ
dc.contributor.editorPalanque, Philippeen_NZ
dc.date.accessioned2020-01-09T01:39:33Z
dc.date.available2017en_NZ
dc.date.available2020-01-09T01:39:33Z
dc.date.issued2017en_NZ
dc.description.abstractThis chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification activities. We also exemplify their use on a simple example in order to provide the reader with a better understanding of their basic concepts. It is important to note that this chapter is not self-contained and that the interested reader should get more details looking at the references provided. The chapter is organized to provide a historical perspective of the main contributions in the area of formal methods in the field of human–computer interaction. The approaches are presented in a semi-structured way identifying their contributions alongside a set of criteria. The chapter is concluded by a summary section organizing the various approaches in two summary tables reusing the criteria previously derived.
dc.format.mimetypeapplication/pdf
dc.identifier.citationOliveira, R., Palanque, P., Weyers, B., Bowen, J., & Dix, A. (2017). State of the art on formal methods for interactive systems. In B. Weyer, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 3–55). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-51838-1_1en
dc.identifier.doi10.1007/978-3-319-51838-1_1en_NZ
dc.identifier.isbn978-3-319-51838-1en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/13360
dc.language.isoen
dc.publisherSpringeren_NZ
dc.relation.isPartOfThe Handbook of Formal Methods in Human-Computer Interactionen_NZ
dc.rightsThis is a post-peer-review, pre-copyedit version of a book chapter published in The Handbook of Formal Methods in Human-Computer Interaction. The final authenticated version is available online at: http://dx.doi.org/10.1007%2F978-3-319-51838-1_1. © 2017 Springer International Publishing AG
dc.subjectComputer scienceen_NZ
dc.subjectFormal methodsen_NZ
dc.subjectInteractive systemsen_NZ
dc.subjectHuman-computer interaction
dc.subjectEquivalence check
dc.subjectAutomatic theorem proving
dc.titleState of the art on formal methods for interactive systemsen_NZ
dc.typeChapter in Book
pubs.begin-page3
pubs.elements-id193899
pubs.end-page55
pubs.organisational-group/Waikato
pubs.organisational-group/Waikato/2024 PBRF
pubs.organisational-group/Waikato/DHECS
pubs.organisational-group/Waikato/DHECS/2024 PBRF - DHEC
pubs.organisational-group/Waikato/DHECS/SCMS
pubs.organisational-group/Waikato/DHECS/SCMS/2024 PBRF - SCMS
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
pubs.user.infoBowen, Judith (jbowen@waikato.ac.nz)
uow.identifier.chapter-no1
uow.verification.statusverified
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
State of the art on formal methods for interactive systems.pdf
Size:
1.2 MB
Format:
Adobe Portable Document Format
Description:
Thumbnail Image
Name: State of the art on formal methods for interactive systems.pdf
Size: 1.2 MB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Research Commons Deposit Agreement 2017.pdf
Size:
188.11 KB
Format:
Adobe Portable Document Format
Description:
Name: Research Commons Deposit Agreement 2017.pdf
Size: 188.11 KB
Kind: Adobe PDF
Collections
Computing and Mathematical Sciences Papers