Show simple item record  

dc.contributor.authorBowen, Judyen_NZ
dc.contributor.authorReeves, Steveen_NZ
dc.coverage.spatialAdelaide, Australiaen_NZ
dc.date.accessioned2016-01-13T03:39:18Z
dc.date.available2015en_NZ
dc.date.available2016-01-13T03:39:18Z
dc.date.issued2015en_NZ
dc.identifier.citationBowen, J., & Reeves, S. (2015). Design patterns for models of interactive systems. In Proceedings of 24th Australasian Software Engineering Conference, Adelaide, Australia, September 28-October 1 2015 (pp. 223–232). Washington, DC, USA: IEEE. http://doi.org/10.1109/ASWEC.2015.30en
dc.identifier.issn1530-0803en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/9842
dc.description.abstractBuilding models of safety-critical interactive systems (in healthcare, transport, avionics and finance, to name but a few) as part of the design process is essential. It is also advised for non-safety critical interactive systems if we want to be certain they will behave as intended in all circumstances. However, modelling interactive systems is also challenging. The levels of complexity in modern user interfaces and the wealth of interaction possibilities means that modelling at a suitable level of abstraction is crucial to ensure our models remain reasonably sized, readable, and therefore usable. The decisions we make about how to abstract the system to retain enough detail to be able to reason about it without running into known modelling problems (state-explosion, verbosity, unread ability) are complex, even for experienced modellers. We have identified a number of commonly seen problems in such models based on occurrences of common properties of interactive systems, and in order to help both experienced and novice modellers we propose model-patterns as a solution to this.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEEen_NZ
dc.rightsThis is the author's accepted version of a paper published in the Proceedings of 24th Australasian Software Engineering Conference. © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.sourceASWEC 2015en_NZ
dc.titleDesign patterns for models of interactive systemsen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1109/ASWEC.2015.30en_NZ
dc.relation.isPartOfProceedings of 24th Australasian Software Engineering Conferenceen_NZ
pubs.begin-page223
pubs.elements-id133535
pubs.end-page232
pubs.finish-date2015-10-01en_NZ
pubs.organisational-group/Waikato
pubs.organisational-group/Waikato/FCMS
pubs.organisational-group/Waikato/FCMS/Computer Science
pubs.place-of-publicationWashington, DC, USA
pubs.start-date2015-09-28en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record