Sciweavers

Share
BCSHCI
2007

Using formal models to design user interfaces: a case study

8 years 6 months ago
Using formal models to design user interfaces: a case study
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 o...
Judy Bowen, Steve Reeves
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where BCSHCI
Authors Judy Bowen, Steve Reeves
Comments (0)
books