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.

      Topics of formal methods in HCI

      Bowen, Judy; Dix, Alan; Palanque, Philippe; Weyers, Benjamin
      Thumbnail
      Files
      Chapter2_Final.pdf
      Accepted version, 52.10Kb
      DOI
       10.1007/978-3-319-51838-1_2
      Find in your library  
      Citation
      Export citation
      Bowen, J., Dix, A., Palanque, P., & Weyers, B. (2017). Topics of formal methods in HCI. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 57–64). Cham, Switzerland: Springer International Publishing. https://doi.org/10.1007/978-3-319-51838-1_2
      Permanent Research Commons link: https://hdl.handle.net/10289/11088
      Abstract
      In this chapter, we present an overview of some of the general themes and topics that can be seen in research into formal methods in human–computer interaction. We discuss how the contents of the rest of the book relate to these topics. In particular, we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of research that are relevant, but are not represented within the book chapters.
      Date
      2017
      Type
      Chapter in Book
      Publisher
      Springer International Publishing
      Rights
      © 2017 Springer International Publishing.This is the author's accepted version. The final publication is available at Springer via 10.1007/978-3-319-51838-1_2
      Collections
      • Computing and Mathematical Sciences Papers [1455]
      Show full item record  

      Usage

      Downloads, last 12 months
      158
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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