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.

      State of the art on formal methods for interactive systems

      Oliveira, Raquel; Palanque, Philippe; Weyers, Benjamin; Bowen, Judy; Dix, Alan
      Thumbnail
      Files
      State of the art on formal methods for interactive systems.pdf
      1.204Mb
      DOI
       10.1007/978-3-319-51838-1_1
      Find in your library  
      Citation
      Export citation
      Oliveira, R., Palanque, P., Weyers, B., Bowen, J., & Dix, A. (2017). State of the art on formal methods for interactive systems. In B. Weyer, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 3–55). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-51838-1_1
      Permanent Research Commons link: https://hdl.handle.net/10289/13360
      Abstract
      This chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification activities. We also exemplify their use on a simple example in order to provide the reader with a better understanding of their basic concepts. It is important to note that this chapter is not self-contained and that the interested reader should get more details looking at the references provided. The chapter is organized to provide a historical perspective of the main contributions in the area of formal methods in the field of human–computer interaction. The approaches are presented in a semi-structured way identifying their contributions alongside a set of criteria. The chapter is concluded by a summary section organizing the various approaches in two summary tables reusing the criteria previously derived.
      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_1. © 2017 Springer International Publishing AG
      Collections
      • Computing and Mathematical Sciences Papers [1455]
      Show full item record  

      Usage

      Downloads, last 12 months
      176
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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