loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97)
Specifying the UQ* user-interface with Object-Z
Clear Water Bay, HONG KONG
December 02-December 05
ISBN: 0-8186-8271-X
ASCII Text
x 
 
A. Hussey, D. Carrington, "Specifying the UQ* user-interface with Object-Z," Asia-Pacific Software Engineering Conference, pp. 374, Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97), 1997.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.1997.640194,
author = {A. Hussey and D. Carrington},
title = {Specifying the UQ* user-interface with Object-Z},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1997},
isbn = {0-8186-8271-X},
pages = {374},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640194},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Specifying the UQ* user-interface with Object-Z
SN - 0-8186-8271-X
SP
EP
A1 - A. Hussey,
A1 - D. Carrington,
PY - 1997
KW - Human-computer interface
KW - specification
KW - formal methods
KW - Object-Z.
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
A. Hussey, Software Verification Research Centre, The University of Queensland, Australia
D. Carrington, Software Verification Research Centre, The University of Queensland, Australia
The specification of a user-interface describes user-perceivable functions and information structures in an implementation-independent way. In this paper we specify part of the user-interface for the UQ* editor. The UQ* editor is part of an integrated programming environment currently under development at the University of Queensland. We use the Object-Z formal specification language. We demonstrate that Object-Z can be useful for abstractly specifying user-interfaces.
Index Terms:
Human-computer interface, specification, formal methods, Object-Z.
Citation:
A. Hussey, D. Carrington, "Specifying the UQ* user-interface with Object-Z," apsec, pp.374, Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97), 1997
Usage of this product signifies your acceptance of the Terms of Use.