920
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Using Formal Models to Design User Interfaces A Case Study

      proceedings-article
      ,
      Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK (HCI)
      British HCI Group Annual Conference
      3 - 7 September 2007
      Design, Human Factors, Verification
      Bookmark

            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.

            Content

            Author and article information

            Contributors
            Conference
            September 2007
            September 2007
            : 1-8
            Affiliations
            [0001]Department of Computer Science

            University of Waikato

            Hamilton, New Zealand
            Article
            10.14236/ewic/HCI2007.16
            c8a7397c-6325-4bbf-b612-5237a9ef5fca
            © Judy Bowen et al. Published by BCS Learning and Development Ltd. Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK
            HCI
            21
            Lancaster, UK
            3 - 7 September 2007
            Electronic Workshops in Computing (eWiC)
            British HCI Group Annual Conference
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/HCI2007.16
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Human Factors,Verification,Design

            Comments

            Comment on this article