Specification of user-interfaces using CRUISE/OBSERV
Anat Cohen, Shmuel S. Tyszberowicz, A. Yehudai · 2002
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.>