Transition network grammars for natural language analysis
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
ACM '69 Proceedings of the 1969 24th national conference
Prototyping and simulation tools for user/computer dialogue design
SIGGRAPH '80 Proceedings of the 7th annual conference on Computer graphics and interactive techniques
Formal methods and human factors in the design of interactive languages
Formal methods and human factors in the design of interactive languages
An annotated bibliography on user interface design
ACM SIGCHI Bulletin
Development and evaluation of a taxonomical model of behavioral representation techniques
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
interactions
SYNGRAPH: A graphical user interface generator
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
A generalized transition network representation for interactive systems
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Syntax directed graphical interaction
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Graphical input interaction technique (GIIT)
ACM SIGGRAPH Computer Graphics
Graphics programming independent of interaction techniques and styles
ACM SIGGRAPH Computer Graphics
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conception du dialogue d'une application interactive
IHM '07 Proceedings of the 19th International Conference of the Association Francophone d'Interaction Homme-Machine
Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model
Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques
| Hi-index | 0.00 |
This paper surveys specification techniques that can be applied to human-computer interfaces, provides examples of specifications, and presents some conclusions drawn from the author's experience using the techniques for specifying the user interface of the message system.