Pushdown automata for user interface management
ACM Transactions on Graphics (TOG)
Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Some critical remarks on abstractions for adaptable dialogue managers
Proceedings of Third Conference of the British Computer Society Human-Interactio on People and computers III
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
Cognitive psychology of planning
Cognitive psychology of planning
Formally-based techniques for dialogue design
Proceedings of the 3rd Conference of the British Computer Society on People and Computers III
Unified theories of cognition
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Tcl and the Tk toolkit
Generation of knowledge-acquisition tools from domain ontologies
International Journal of Human-Computer Studies
Workshop on software engineering and computer-human interaction: joint research issues
ICSE '94 Proceedings of the 16th international conference on Software engineering
Usability Engineering
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
A Review of Formalisms for Describing Interactive Behaviour
ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
Petri net objects for the design, validation and prototyping of user-driven interfaces
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Contextual prototyping of user interfaces
DIS '00 Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques
A real-time interface simulator for operator's training: a proposed architecture
Proceedings of the 2007 Summer Computer Simulation Conference
Including design guidelines in the formal specification of interfaces in z
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
| Hi-index | 0.00 |