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.

      Trends and gaps

      Dix, Alan; Weyers, Benjamin; Bowen, Judy; Palanque, Philippe
      Thumbnail
      Files
      Trends and gaps.pdf
      520.1Kb
      DOI
       10.1007/978-3-319-51838-1_3
      Find in your library  
      Citation
      Export citation
      Dix, A., Weyers, B., Bowen, J., & Palanque, P. (2017). Trends and gaps. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 65–88). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-51838-1_3
      Permanent Research Commons link: https://hdl.handle.net/10289/13358
      Abstract
      This chapter attempts to identify future research directions for formal methods in HCI. It does this using two main approaches. First, we will look at trends within HCI more broadly and the challenges these pose for formal methods. These trends in HCI are often themselves driven by external technical and societal change, for example the growth of maker/hacker culture and the increasing dependence of basic citizenship on digital technology, effectively establishing external requirements for the field. Second we will look inwards at the FoMHCI literature, the user interaction phenomena it is trying to address and the processes of interaction design it is intended to support. Through this second analysis we will identify internally generated trends. This does not lead to a single overarching research agenda, but does identify a number of critical areas and issues, and hence establishes opportunities for further research to expand the state of the art.
      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/978-3-319-51838-1_3. © 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