Show simple item record  

dc.contributor.authorBowen, Judyen_NZ
dc.contributor.authorHinze, Annikaen_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-06T21:52:05Z
dc.date.available2017en_NZ
dc.date.available2017-06-06T21:52:05Z
dc.date.issued2017en_NZ
dc.identifier.citationBowen, J., & Hinze, A. (2017). Reasoning about interactive systems in dynamic situations of use. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human Computer Interaction (pp. 319–341). Springer International Publishing. https://doi.org/10.1007/978-3-319-51838-1_12en
dc.identifier.isbn978-3-319-51838-1en_NZ
dc.identifier.isbn978-3-319-51837-4
dc.identifier.isbn978-3-319-51838-1
dc.identifier.issn1571-5035
dc.identifier.urihttps://hdl.handle.net/10289/11090
dc.description.abstractInteractive software, systems and devices are typically designed for a specific (set of) purpose(s) and the design process used ensures that they will perform satisfactorily when used as specified. In many cases, users will use these systems in unintended and unexpected ways where it seems appropriate, which can lead to problems as the differing usage situations have unintended effects on use. We have previously introduced a method of combining formal models of interactive systems with models of usage scenarios to allow reasoning about the effects that this unintended use may have. We now extend this approach to consider how such models might be used when considering deliberately extending the usage scenarios of existing interactive systems to support other activities, for example in emergency situations. This chapter explores a methodology to identify the effect of properties of emergency scenarios on the interactivity of interactive systems and devices. This then enables us to consider when, and how, we might utilise such devices in such emergencies.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherSpringer International Publishingen_NZ
dc.rights© 2017 Springer International Publishing Switzerland.This is the author's accepted version. The final publication is available at Springer via dx.doi.org/10.1007/978-3-319-51838-1_12
dc.subjectComputer Scienceen_NZ
dc.titleReasoning about interactive systems in dynamic situations of useen_NZ
dc.typeChapter in Book
dc.identifier.doi10.1007/978-3-319-51838-1_12en_NZ
dc.relation.isPartOfThe Handbook of Formal Methods in Human Computer Interactionen_NZ
pubs.begin-page319
pubs.elements-id138861
pubs.end-page341
pubs.organisational-group/Waikato
pubs.organisational-group/Waikato/2018 PBRF
pubs.organisational-group/Waikato/FCMS
pubs.organisational-group/Waikato/FCMS/2018 PBRF - FCMS
pubs.organisational-group/Waikato/FCMS/Computer Science
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-no12


Files in this item

This item appears in the following Collection(s)

Show simple item record