Blog
About

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

      Using Object-Z to Compare the MVC and PAC Architectures

      ,

      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

      Human-computer interface, software architecture, Object-Z, MVC, PAC

      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

          Object-oriented architectures for Graphical User Interfaces (GUI’s) model the interface as a composition of interacting Objects which each present an internal state to the user and provide operations on that state. Two such architectures are Model-View-Controller (MVC) and Presentation-Abstraction-Control (PAC).We use Object-Z to describe examples of the MVC and PAC architectures. We compare the characteristics of the architectures and consider the efficacy of Object-Z as a tool for modelling user-interface architectures.

          Related collections

          Author and article information

          Contributors
          Conference
          September 1996
          September 1996
          : 1-16
          Affiliations
          Software Verification Research Centre

          Department of Computer Science, The University of Queensland

          Brisbane, Qld, 4072, Australia
          Article
          10.14236/ewic/FAC1996.6
          © Andrew Hussey 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