266
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-article

      ,

      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

      Bookmark

            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.

            Content

            Author and article information

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

            Department of Computer Science, The University of Queensland

            Brisbane, Qld, 4072, Australia
            Article
            10.14236/ewic/FAC1996.6
            5cee7d4e-ebd4-4b08-96a4-fad2e9ad9117
            © 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