Blog
About

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

      A Category Theory Approach to HCI

      27th International BCS Human Computer Interaction Conference (HCI 2013) (HCI)

      Human Computer Interaction Conference (HCI 2013)

      9 - 13 September 2013

      Category theory, formal methods

      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

          In this paper we revisit Category Theory as a modelling tool for Human Computer Interaction. We first review past approaches and limitations to formal methods in HCI. We then introduce a category theory with a tutorial example, before moving onto a more complex example. We end by discussing the further implications for theories of HCI.

          Related collections

          Most cited references 1

          • Record: found
          • Abstract: not found
          • Article: not found

          Formal analysis of ubiquitous computing environments through the APEX framework

            Bookmark

            Author and article information

            Contributors
            Conference
            September 2013
            September 2013
            : 1-5
            Affiliations
            Liverpool John Moores University

            Byrom St, Liverpool, L3 3AF, UK
            Article
            10.14236/ewic/HCI2013.2
            © David England. Published by BCS Learning and Development Ltd. 27th International BCS Human Computer Interaction Conference (HCI 2013), Brunel University, London, UK

            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/

            27th International BCS Human Computer Interaction Conference (HCI 2013)
            HCI
            27
            Brunel University, London, UK
            9 - 13 September 2013
            Electronic Workshops in Computing (eWiC)
            Human Computer Interaction Conference (HCI 2013)
            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