Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Comparing the MVC and PAC architectures: a formal perspective
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 architectures is considered.
Comparing the MVC and PAC architectures: a formal perspective
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 architectures is considered.
Comparing the MVC and PAC architectures: a formal perspective
Hussey, A. (Autor:in) / Carrington, D. (Autor:in)
01.08.1997
13 pages
Aufsatz (Zeitschrift)
Englisch
interactive systems , software architecture , software engineering , model-view-controller architecture , Object-Z , internal state , PAC architecture , MVC architecture , human-computer interface , object-oriented programming , object-oriented architectures , formal specification , user-interface architecture modelling , state operations , presentation-abstraction-control architecture , interacting objects , graphical user interfaces
mostre - Comparing architectures
| Online Contents | 2007
Comparing impacts between formal and informal recreational trails
| Online Contents | 2017
Comparing Karachi's informal and formal housing delivery systems
| Elsevier | 1991