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
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;
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
DOI :
10.1109/APSEC.1997.640194
