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.

      Formal methods for interactive system: (FMIS 2013)

      Reeves, Steve; Bowen, Judy
      DOI
       10.1145/2494603.2483223
      Link
       dl.acm.org
      Find in your library  
      Citation
      Export citation
      Reeves, S. & Bowen, J. A. (2013). Formal methods for interactive system: (FMIS 2013). In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems (pp. 337-338). New York, USA: ACM.
      Permanent Research Commons link: https://hdl.handle.net/10289/8053
      Abstract
      The workshop focuses on use of formal methods in the development and analysis of Interactive Systems. The workshop is particularly concerned with issues relating to Human Computer Interaction and to the analysis of interaction in a variety of computing environments (safety critical, ubiquitous etc.). In the latter case the complexities of dynamic context, including location and large numbers of interacting entities, pose particular challenges to formal modelling.
      Date
      2013
      Type
      Conference Contribution
      Publisher
      ACM
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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