loading...
Using Design Patterns to Derive PAC Architectures from Object-Z Specifications
Melbourne, Australia November 22-November 25
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.80941332nd International Conference on Tech ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Andrew Hussey, "Using Design Patterns to Derive PAC Architectures from Object-Z Specifications," Technology of Object-Oriented Languages, International Conference on, pp. 40, 32nd International Conference on Technology of Object-Oriented Languages, 1999.
 
 
BibTex
x
 
@article{ 10.1109/TOOLS.1999.809413,
author = {Andrew Hussey},
title = {Using Design Patterns to Derive PAC Architectures from Object-Z Specifications},
journal ={Technology of Object-Oriented Languages, International Conference on},
volume = {0},
year = {1999},
issn = {1530-2067},
pages = {40},
doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.809413},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Technology of Object-Oriented Languages, International Conference on
TI - Using Design Patterns to Derive PAC Architectures from Object-Z Specifications
SN - 1530-2067
SP
EP
A1 - Andrew Hussey,
PY - 1999
KW - PAC
KW - Design patterns
KW - Interactive system architecture
KW - Object-Z
VL - 0
JA - Technology of Object-Oriented Languages, International Conference on
ER -
 
Andrew Hussey, University of Queensland
Interactor-based architectures for Graphical User Interfaces (GUIs) model an interface as a composition of interacting objects that each present internal state to the user and provide operations on that state. One such architecture is Presentation-Abstraction-Control (PAC). Architectures such as PAC can be described as a combination of design patterns. We use the patterns to derive a PAC architecture for a file browser application from a corresponding Object-Z specification.
Index Terms:
PAC, Design patterns, Interactive system architecture, Object-Z
Citation:
Andrew Hussey, "Using Design Patterns to Derive PAC Architectures from Object-Z Specifications," tools, pp.40, 32nd International Conference on Technology of Object-Oriented Languages, 1999
Usage of this product signifies your acceptance of the Terms of Use.