Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Using Formal Models to Design User Interfaces: A Case Study

    People and Computers XXI
    HCI...but not as we know it

    Proceedings of HCI 2007
    The 21st British HCI Group Annual Conference
    University of Lancaster, UK.

    3 - 7 September 2007

    AUTHORS

    Judy Bowen & Steve Reeves

    ABSTRACT

    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.

    PAPER FORMATS

    PDF filePDF Version of this Paper (412kb)

    HCI 2007 People and Computers XXI HCI...but not as we know it (Book cover)

    Print copies of People and Computers XXI HCI...but not as we know it (Vol 1)
    ISBN 978-1-902505-94-7
    RRP £85

    Available from the BCS bookshop

    Print copies of People and Computers XXI HCI...but not as we know it (Vol 2)
    ISBN 978-1-902505-95-4
    RRP £85

    Available from the BCS bookshop