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.

      Reasoning about interactive systems in dynamic situations of use

      Bowen, Judy; Hinze, Annika
      Thumbnail
      Files
      JBAH-Bowen-Hinze.pdf
      Accepted version, 1.831Mb
      DOI
       10.1007/978-3-319-51838-1_12
      Find in your library  
      Citation
      Export citation
      Bowen, J., & Hinze, A. (2017). Reasoning about interactive systems in dynamic situations of use. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human Computer Interaction (pp. 319–341). Springer International Publishing. https://doi.org/10.1007/978-3-319-51838-1_12
      Permanent Research Commons link: https://hdl.handle.net/10289/11090
      Abstract
      Interactive software, systems and devices are typically designed for a specific (set of) purpose(s) and the design process used ensures that they will perform satisfactorily when used as specified. In many cases, users will use these systems in unintended and unexpected ways where it seems appropriate, which can lead to problems as the differing usage situations have unintended effects on use. We have previously introduced a method of combining formal models of interactive systems with models of usage scenarios to allow reasoning about the effects that this unintended use may have. We now extend this approach to consider how such models might be used when considering deliberately extending the usage scenarios of existing interactive systems to support other activities, for example in emergency situations. This chapter explores a methodology to identify the effect of properties of emergency scenarios on the interactivity of interactive systems and devices. This then enables us to consider when, and how, we might utilise such devices in such emergencies.
      Date
      2017
      Type
      Chapter in Book
      Publisher
      Springer International Publishing
      Rights
      © 2017 Springer International Publishing Switzerland.This is the author's accepted version. The final publication is available at Springer via dx.doi.org/10.1007/978-3-319-51838-1_12
      Collections
      • Computing and Mathematical Sciences Papers [1452]
      Show full item record  

      Usage

      Downloads, last 12 months
      147
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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