Fundamentals of interactive computer graphics
Fundamentals of interactive computer graphics
Using formal specifications in the design of a human-computer interface
Communications of the ACM
Transition network grammars for natural language analysis
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Toward the design and development of style-independent interactive systems
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
Towards specifying and evaluating the human factors of user-computer interfaces
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
ACM '69 Proceedings of the 1969 24th national conference
Formal methods and human factors in the design of interactive languages
Formal methods and human factors in the design of interactive languages
The use of quick prototypes in the secure military message systems project
Proceedings of the workshop on Rapid prototyping
Rapid prototyping of interactive information systems
Proceedings of the workshop on Rapid prototyping
A survey of three dialogue models
ACM Transactions on Graphics (TOG)
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Integrating gesture and snapping into a user interface toolkit
UIST '90 Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology
Usability engineering turns 10
interactions
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Proton: multitouch gestures as regular expressions
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
| Hi-index | 0.00 |
It is useful to be able to specify a proposed human-computer interface formally before building it, particularly if a mockup suitable for testing can be obtained directly from the specification. A specification technique for user interfaces, based on state transition diagrams, is introduced and then demonstrated for a secure message system application. An interpreter that executes the resulting specification is then described. Some problems that arise in specifying a user interface are addressed by particular features of the technique: To reduce the complexity of the developer's task, a user interface is divided into the semantic, syntactic, and lexical levels, and a separate executable specification is provided for each. A process of stepwise refinement of the syntactic specification, leading from an informal specification to an executable one is also presented. Since the state diagram notation is based on a non-deterministic model, constraints necessary to realize the system with a deterministic interpreter are given.