Protection in an information processing utility
Communications of the ACM
An executive system implemented as a finite-state automaton
Communications of the ACM
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A survey of three dialogue models
ACM Transactions on Graphics (TOG)
Dialogue management for gestural interfaces
ACM SIGGRAPH Computer Graphics
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
A System for Specification and Rapid Prototyping of Application Command Languages
IEEE Transactions on Software Engineering
Dialogue management: support for dialogue independence
MIS Quarterly
Human-computer interface development: concepts and systems for its management
ACM Computing Surveys (CSUR)
An annotated bibliography on user interface design
ACM SIGCHI Bulletin
Crossroads - Special issue on human computer interaction
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Using formal specifications in the design of a human-computer interface
Communications of the ACM
Executable specifications for a human-computer interface
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A generalized transition network representation for interactive systems
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Toward the design and development of style-independent interactive systems
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
Using formal specifications in the design of a human-computer interface
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
A course on software engineering techniques
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
Software design validation tool
Proceedings of the international conference on Reliable software
A course on software engineering techniques
ACM SIGCSE Bulletin
Graphics programming independent of interaction techniques and styles
ACM SIGGRAPH Computer Graphics
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Towards minimization of test sets for human-computer systems
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Journal of Systems and Software
Test minimization for human-computer interaction
Applied Intelligence
Formal Models for Informal GUI Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
A language-driven approach for the design of interactive applications
Interacting with Computers
Journal of Systems and Software
Challenges and opportunities for improving code-based testing of graphical user interfaces
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Applying Graph Theory to Interaction Design
Engineering Interactive Systems
Usability framework for the design and evaluation of multimodal interaction
BCS-HCI '08 Proceedings of the 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction - Volume 2
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
ACM Transactions on Computer-Human Interaction (TOCHI)
Proceedings of the 2009 international conference on Multimodal interfaces
Modelling form-based interfaces with bipartite state machines
Interacting with Computers
Towards self-testing of component-based software
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction
Conference Internationale Francophone sur I'Interaction Homme-Machine
Self-checking widgets for interactive cockpits
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Constrained data acquisition for mobile citizen science applications
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Minimal spanning set for coverage testing of interactive systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
International Journal of Human-Computer Studies
Computational & Mathematical Organization Theory
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
International Journal of Critical Computer-Based Systems
Hi-index | 0.02 |
This paper deals with what might be called the top level design of an interactive computer system. It examines some problems which arise in trying to specify what the user interface of such a system should be. It proposes a concept—the terminal state—and a notation—the terminal state transition diagram—which make the design of the top level somewhat easier. It also proposes a user interface in which the notion of terminal state is explicit. This user interface seems to provide a great improvement in flexibility and case of adding subsystems to a general purpose system.