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.

      Workshop on formal methods in human computer interaction

      Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe
      Thumbnail
      Files
      EICS15-workshop summary.pdf
      Published version, 637.0Kb
      DOI
       10.1145/2774225.2777460
      Find in your library  
      Citation
      Export citation
      Weyers, B., Bowen, J., Dix, A., & Palanque, P. (2015). Workshop on formal methods in human computer interaction. In Proceeding of the 2015 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 294–295). Duisbury, Germany: ACM. http://doi.org/10.1145/2774225.2777460
      Permanent Research Commons link: https://hdl.handle.net/10289/10273
      Abstract
      This workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The mam objective is twofold: on one hand look at the evolutions of the definition and use of formal methods for interactive systems since the last book on the field nearly 20 years ago [1] following the seminal work reported in [2] On the other hand, to identify important themes for the next decade of research. Formal methods aid in the design, development and evaluation of interactive systems providing the unique opportunity for complete and unambiguous description amenable to formal verification. The HCI community has demonstrated that the next generation of user interfaces is moving off the desktop: These emerging interfaces exploit novel input techniques such as tangible, haptic, camera-based, bram-computer, interaction, present a large quantity of information possibly distributed to a wide range of devices. In this workshop, we will discuss common themes, conflicting approaches and techniques, and future directions for the next generation of formal methods that will support the development of large scale dependable and usable interactive systems.
      Date
      2015-06-23
      Type
      Conference Contribution
      Publisher
      ACM
      Rights
      © 2015 copyright with the authors.
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      136
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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