Designing the user interface (2nd ed.): strategies for effective human-computer interaction
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
A mathematical model of the finding of usability problems
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Moving out from the control room: ethnography in system design
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Program development by stepwise refinement
Communications of the ACM
XIML: a common representation for interaction data
Proceedings of the 7th international conference on Intelligent user interfaces
User Centered System Design; New Perspectives on Human-Computer Interaction
User Centered System Design; New Perspectives on Human-Computer Interaction
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Formal Refinement of Informal GUI Design Artefacts
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Formal Models for Informal GUI Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
Visual design of user interfaces by (de)composition
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
USIXML: a language supporting multi-path development of user interfaces
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Refinement for User Interface Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
Developing usability studies via formal models of UIs
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Hi-index | 0.00 |
The 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.