Show simple item record  

dc.contributor.authorBowen, Judy
dc.contributor.authorReeves, Steve
dc.coverage.spatialConference held at Lancaster, United Kingdomen_NZ
dc.date.accessioned2014-03-18T03:00:11Z
dc.date.available2014-03-18T03:00:11Z
dc.date.issued2007
dc.identifier.citationBowen, J., & Reeves, S. (2007). Using formal models to design user interfaces a case study. In L. J. Ball, M. A., Sasse, C. Sas, T. C. Ormerod, A. Dix, P. Bagnall & T. McEwan (Eds.), Proceedings of the 21st British HCI Group Annual Conference (HCI 2007): People and Computers XXI HCI, Lancaster University, UK, 2007.en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/8569
dc.description.abstractThe use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such as reachability and completeness and, perhaps most importantly, can help incorporate the user interface design process into a larger, formally-based, software development process. Often, descriptions of such models and examples are presented in isolation from real-world practice in order to focus on particular benefits, small focused examples or the general methodology. This paper presents a case study of developing the user interface to a new software application using a particular pair of formal models, presentation models and presentation interaction models. The aim of this study was to practically apply the use of formal models to the design process of a UI for a new software application. We wanted to determine how easy it would be to integrate such models into our usual development process and to find out what the benefits, and difficulties, of using such models were. We will show how we used the formal models within a user-centred design process, discuss what effect they had on this process and explain what benefits we perceived from their use.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoenen_NZ
dc.publisherBritish Computer Societyen_NZ
dc.rights©2007 Judy Bowen, Steve Reeves.en_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectformal methodsen_NZ
dc.subjectuser-centred designen_NZ
dc.subjectsoftware design processen_NZ
dc.titleUsing formal models to design user interfaces a case studyen_NZ
dc.typeConference Contributionen_NZ
dc.relation.isPartOfProceedings of the 21st British HCI Group Annual Conference (HCI 2007): People and Computers XXI HCI... but not as we know it, Volume 1en_NZ
pubs.begin-page159en_NZ
pubs.elements-id17393
pubs.end-page166en_NZ
pubs.finish-date2007-09-07en_NZ
pubs.place-of-publicationUnited Kingdomen_NZ
pubs.start-date2007-09-03en_NZ
pubs.volume1en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record