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.

      Case studies

      Weyers, Benjamin; Harrison, Michael D.; Bowen, Judy; Dix, Alan; Palanque, Philippe
      Thumbnail
      Files
      Case studies.pdf
      1.690Mb
      DOI
       10.1007/978-3-319-51838-1_4
      Find in your library  
      Citation
      Export citation
      Weyers, B., Harrison, M. D., Bowen, J., Dix, A., & Palanque, P. (2017). Case studies. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 89–121). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-51838-1_4
      Permanent Research Commons link: https://hdl.handle.net/10289/13357
      Abstract
      This chapter introduces a set of case studies that are used in the rest of the book. They encompass well known problem domains in Human-Computer Interaction research and provide a practical focus for the approaches presented in this book. The set of case studies includes case studies concerned with: the controller interface to a (semi-automated) nuclear power plant; a partly-autonomous arrival management interactive system in the domain of air-traffic control; a user interface for new interactive cockpits and an interactive system used in rural and urban areas to maintain wind turbines. The final case study brings an interesting perspective for formal techniques, namely interactive public displays.
      Date
      2017
      Type
      Chapter in Book
      Publisher
      Springer
      Rights
      This is a post-peer-review, pre-copyedit version of a book chapter published in The Handbook of Formal Methods in Human-Computer Interaction. The final authenticated version is available online at: http://dx.doi.org/10.1007%2F978-3-319-51838-1_4. © 2017 Springer International Publishing AG
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      103
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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