Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Using formal models to design user interfaces a case study

      Bowen, Judy; Reeves, Steve
      Thumbnail
      Files
      Using Formal Models.pdf
      411.8Kb
      Citation
      Export citation
      Bowen, 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.
      Permanent Research Commons link: https://hdl.handle.net/10289/8569
      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.
      Date
      2007
      Type
      Conference Contribution
      Publisher
      British Computer Society
      Rights
      ©2007 Judy Bowen, Steve Reeves.
      Collections
      • Computing and Mathematical Sciences Papers [1385]
      Show full item record  

      Usage

      Downloads, last 12 months
      43
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement