Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Communications of the ACM
Statemaster: A UIMS based on statecharts for prototyping and target implementation
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Task-oriented representation of asynchronous user interfaces
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Constraint grammars–a new model for specifying graphical applications
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Graphical specification of flexible user interface displays
UIST '89 Proceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Specification and rapid prototyping of user interfaces
Specification and rapid prototyping of user interfaces
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal specification of user interfaces
ACM SIGCHI Bulletin
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Timetrees: a branching-time structure for modeling activity and state in human-computer interaction
Human-Computer Interaction
StateStream: a developer-centric approach towards unifying interaction models and architecture
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
Self-checking widgets for interactive cockpits
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
User interface representation using simple components
HCII'11 Proceedings of the 14th international conference on Human-computer interaction: design and development approaches - Volume Part I
Complex components abstraction in graphical user interfaces
HCII'11 Proceedings of the 14th international conference on Human-computer interaction: design and development approaches - Volume Part I
Visual interfaces design simplification through components reuse
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
An interface prototyper supporting free design components specification
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |