Title :
Specification of user-interfaces using CRUISE/OBSERV
Author :
Cohen, Aviv ; Tyszberowicz, Shmuel ; Yehudai, Amiram
Author_Institution :
Tel Aviv Univ., Israel
Abstract :
A system for user-interface specification is presented. The authors use OBSERV, an innovative methodology for prototyping reactive systems which combines three paradigms: the object-oriented approach, state transition diagrams, and logic programming. This combination is very useful for specifying user interfaces, which can be viewed as reactive systems. The usability of OBSERV is enhanced by a user-interface, CRUISE, that provides graphic editing capabilities
Keywords :
computer graphics; development systems; formal specification; logic programming; object-oriented programming; programming environments; software prototyping; user interfaces; CRUISE; OBSERV; graphic editing; logic programming; object-oriented; prototyping; reactive systems; state transition diagrams; user-interface specification; Application software; Costs; Graphics; Human factors; Logic programming; Productivity; Prototypes; Software engineering; Software systems; Usability;
Conference_Titel :
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Conference_Location :
Tokyo
Print_ISBN :
0-8186-2152-4
DOI :
10.1109/CMPSAC.1991.170159
