DocumentCode
2818320
Title
Specifying the UQ* editor user-interface with Object-Z
Author
Hussey, Andrew ; Carrington, David
Author_Institution
Sch. of Inf. Technol., Queensland Univ., Brisbane, Qld., Australia
fYear
1997
fDate
2-5 Dec 1997
Firstpage
374
Lastpage
383
Abstract
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* (University of Queensland) 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
Keywords
formal specification; object-oriented languages; programming environments; specification languages; text editing; user interfaces; Object-Z formal specification language; UQ* editor; University of Queensland; abstract specification; implementation-independent description; information structures; integrated programming environment; user interface specification; user-perceivable functions; Australia; Formal specifications; Programming environments; Prototypes; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings
Print_ISBN
0-8186-8271-X
Type
conf
DOI
10.1109/APSEC.1997.640194
Filename
640194
Link To Document