DocumentCode
2613846
Title
Specification of user-interfaces using CRUISE/OBSERV
Author
Cohen, Aviv ; Tyszberowicz, Shmuel ; Yehudai, Amiram
Author_Institution
Tel Aviv Univ., Israel
fYear
1991
fDate
11-13 Sep 1991
Firstpage
104
Lastpage
109
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPSAC.1991.170159
Filename
170159
Link To Document