A Specification Paradigm for Design and Implementation of Non-WIMP User Interfaces

Conference on Human Factors in Computing Systems - Proceedings

Volumn , Issue , 1998, Pages 357-358

  Morrison, Stephen A ^a   Jacob, Robert J K ^a  

^a TUFTS UNIVERSITY   (United States)

Author keywords

Constraint programming; interface specification; non WIMP; SHADOW; software engineering; state transition diagram; user interface description language (UIDL); user interface management system (UIMS); virtual reality (VR); visual programming

Indexed keywords

CONSTRAINT PROGRAMMING; CONSTRAINT THEORY; DATA FLOW GRAPHS; GRAPHIC METHODS; INTERFACE STATES; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS; USER INTERFACES; VISUAL LANGUAGES;

CONSTRAINT PROGRAMMING; INTERFACE SPECIFICATION; NON-WIMP; SHADOW; STATE-TRANSITION DIAGRAMS; USER INTERFACE DESCRIPTION LANGUAGE; USER INTERFACE DESCRIPTION LANGUAGES; USER INTERFACE MANAGEMENT SYSTEM; USER INTERFACE MANAGEMENT SYSTEMS; VIRTUAL REALITY; VISUAL PROGRAMMING;

VIRTUAL REALITY;

EID: 0003287826     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/286498.286826     Document Type: Conference Paper

References (5)

1. Abowd, G. D. and Dix, A. J., "Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems, " Proceedings of the ACM SIGSOFT'94 Symposium on Foundations of Software Engineering, 1994
2. Green, M. and Jacob R. J. K., "Software Architectures and Metaphors for Non-WIMP User Interfaces, " Computer Graphics, vol 25, no. 3, pp 229-235, July 1991.
3. Jacob, R. J. K., "A Visual Language for Non-WIMP Interfaces, " Proceedings IEEE Symposium on Visual Languages, pp. 231-238, IEEE Computer Society Press (1996).
4. Jacob, R. J. K., "A Specification Language for Direct Manipulation User Interfaces, " ACM Transactions on Graphics, vol. 5, no. 4 pp 238-317, 1986.
5. Newman, W. M., "A System for Interactive Graphical Programming, " Proceedings Spring Joint Computer Conference, pp 47-54, AFIPS, 1968.