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.

      Formal Definitions for Design Spaces and Traces

      Bowen, Judy; Dittmar, Anke
      Thumbnail
      Files
      APSEC_BD_Final.pdf
      Accepted version, 202.8Kb
      DOI
       10.1109/APSEC.2017.72
      Find in your library  
      Citation
      Export citation
      Bowen, J., & Dittmar, A. (2017). Formal Definitions for Design Spaces and Traces. In J. Lv, H. Zhang, M. Hinchey, & X. Liu (Eds.), 2017 24th Asia-Pacific Software Engineering Conference (APSEC 2017) (pp. 600–605). Washington, DC, USA: IEEE. https://doi.org/10.1109/APSEC.2017.72
      Permanent Research Commons link: https://hdl.handle.net/10289/11817
      Abstract
      Within the domain of interactive system development and design, particularly for safety-critical systems, there is an inherent tension between formalisms used for software engineering methodologies and the creative aspects of design. In this paper we consider how we might better unify these by way of a framework for design spaces and design artefacts. We present formal definitions for simple and complex design spaces and then describe how they are incorporated into traces. We then discuss how these can be used to reason about considerations such as preservation of requirements and iterative changes throughout the design process and provide some small examples of this.
      Date
      2017
      Type
      Conference Contribution
      Publisher
      IEEE
      Rights
      © 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
      Collections
      • Computing and Mathematical Sciences Papers [1455]
      Show full item record  

      Usage

      Downloads, last 12 months
      92
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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