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.

      Supporting multi-path UI development with vertical refinement

      Bowen, Judy; Reeves, Steve
      DOI
       10.1109/ASWEC.2009.24
      Link
       www.computer.org
      Find in your library  
      Citation
      Export citation
      Bowen, J., & Reeves, S. (2009). Supporting multi-path UI development with vertical refinement. In Proceedings of 2009 Australian Software Engineering Conference, Gold Coast, Australia (pp. 64-72). Washington, DC, USA: IEEE.
      Permanent Research Commons link: https://hdl.handle.net/10289/8115
      Abstract
      As computers and software applications become ubiquitous the systems we build are increasingly required to run on not just a single piece of hardware, but rather be available for different platforms, different types of hardware and offer different modes of interaction depending on the context of use. Within a formal development process when we consider refinement for interactive systems we therefore need to consider not only the transformation of abstract specifications and models into single implementations but also the possibility of multiple implementations with differing interactive requirements. In such cases the changing requirements in general and changes to the user interface in particular make supporting the development by formal refinement challenging. One way to solve this problem is by extending our notion of refinement. In this paper we introduce vertical refinement for system and interface pairs which enables us to deal with such multi-path development.
      Date
      2009
      Type
      Conference Contribution
      Publisher
      IEEE
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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