Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Using formal specifications in the design of a human-computer interface
Communications of the ACM
Towards a comprehensive user interface management system
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
SYNGRAPH: A graphical user interface generator
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
The detailed semantics of graphics input devices
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
FLAIR - user interface dialog design tool
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
A user interface management system
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
The device model of interaction
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Towards specifying and evaluating the human factors of user-computer interfaces
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
User Software Engineering and the design of interactive systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Syntax directed graphical interaction
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Definition and use of higher-level graphics input tools
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Prototyping and simulation tools for user/computer dialogue design
SIGGRAPH '80 Proceedings of the 7th annual conference on Computer graphics and interactive techniques
Graphics programming independent of interaction techniques and styles
ACM SIGGRAPH Computer Graphics
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
A system for interactive graphical programming
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
A survey of three dialogue models
ACM Transactions on Graphics (TOG)
MIKE: the menu interaction kontrol environment
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Constraint-based tools for building user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Abstract interaction tools: a language for user interface management systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Macros by Example in Graphical UIMS
IEEE Computer Graphics and Applications
An Semantic Feedback in the Higgens UIMS
IEEE Transactions on Software Engineering
Human-computer interface development: concepts and systems for its management
ACM Computing Surveys (CSUR)
EDGE - a graph based tool for specifying interaction
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
State trees as structured finite state machines for user interfaces
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
A programming language basis for user interface
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
An annotated bibliography on user interface design
ACM SIGCHI Bulletin
Propositional production systems for dialog description
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Probabilistic state machines: dialog management for inputs with uncertainty
UIST '92 Proceedings of the 5th annual ACM symposium on User interface software and technology
Early specification of user-interfaces: toward a formal approach
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specifying complex dialogs in ALGAE
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Input/output linkage in a user interface management system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
A scalable formal method for design and automatic checking of user interfaces
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An architecture for flexible, evolvable process-driven user-guidance environments
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Open learning objects for data structure course
Journal of Computing Sciences in Colleges
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of Systems and Software
A specification paradigm for the design and implementation of tangible user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
| Hi-index | 0.00 |