Blog
About

126
views
0
recommends
+1 Recommend
1 collections
    1
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Verification of Properties of Human-Computer Dialogues with an Infinite Number of States

      ,

      Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface (FAC)

      Formal Aspects of the Human Computer Interface

      10-12 September 1996

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          One of the advantages of using formal methods in human-computer interfaces is the possibility to reason about user interface properties. Model checking techniques provide a useful support for this purpose. This paper discusses the problem of verifying the properties of user interfaces when the dialogue specification has an infinite number of states. Recent techniques allow designers to get some results even in this particular case and we discuss when such results are useful for verifying the user interface properties.

          Related collections

          Author and article information

          Conference
          September 1996
          September 1996
          : 1-10
          Affiliations
          CNUCE - C.N.R.

          Pisa, Italy
          Article
          10.14236/ewic/FAC1996.10
          © Menica Mezzanotte et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University

          This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

          Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface
          FAC
          Sheffield Hallam University
          10-12 September 1996
          Electronic Workshops in Computing (eWiC)
          Formal Aspects of the Human Computer Interface
          Product
          Product Information: 1477-9358BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article