Comparing the MVC and PAC architectures: a formal perspective

@article{Hussey1997ComparingTM,
  title={Comparing the MVC and PAC architectures: a formal perspective},
  author={Andrew Hussey and David A. Carrington},
  journal={Software Engineering - IEE Proceedings},
  year={1997},
  volume={144},
  pages={224-236}
}
Object-oriented architectures for graphical user interfaces (GUIs) model the interface as a composition of interacting objects that 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). Object-Z is used to describe the MVC and PAC architectures. The characteristics of the architectures are compared and the efficacy of Object-Z as a tool for modelling user-interface… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 17 references

On the composition of interactor specifications

  • J. ROWSON, P. MARKOPOLOUS, P. JOHNSON
  • 1996

The user context and formal specification in interactive system design

  • R. FIELDS, M. D. HARRISON, P. C. WRIGHT
  • 1996

Formal analysis of user and system interactions in the CERD case study

  • F. PATERNO, M. MEZZANOTTE
  • Technical reoort SMNP48. CNR CNUCE. Pisa. Italv…
  • 1995

Object-2: a specification language advocated for the description of standards

  • R. DUKE, G. ROSE, G. SMITH
  • Compu t . Stand. Interfafaces,
  • 1995

The art and science of Smalltalk: an introduction to object-oriented programming using VisualWorks

  • S. LEWIS
  • 1995

Model-view controller classes in Eiffel’ in SCHULTHESS, P. (Ed.): ‘Joint modular languages conference modula, oberon & friends Germany

  • M. C. SKIPPER
  • Germany Universitaetsverlag Ulm Gmbh,
  • 1994

Object-oriented programming with Smalltalki V

  • M. MARCHES
  • (Prentice-Hall,
  • 1994

MATIS: a multimodal airline travel information system

  • L. NIGAY, J. COUTAZ, D. SALBER
  • Technical report SM/ WPlO, Laborat0ii-e de Genie…
  • 1993

Similar Papers

Loading similar papers…