Integrating status and event phenomena in formal specifications of interactive systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Early specification of user-interfaces: toward a formal approach
ICSE '97 Proceedings of the 19th international conference on Software engineering
Crossroads - Special issue on human computer interaction
Helping the automated validation process of user interfaces systems
Proceedings of the 20th international conference on Software engineering
Using Hybrid Automata to Support Human Factors Analysis in a Critical System
Formal Methods in System Design
Evaluation of user cognitive abilities for HCI
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Extending the equivalent transformation framework to model dynamic interactive systems
WSEAS Transactions on Computers
Testing cognitive characteristics of users in interaction with computer
WSEAS Transactions on Information Science and Applications
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
A formal basis for modelling process and task management aspects of user interface design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Dialogue graphs: a formal and visual specification technique for dialogue modelling
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
International Journal of Human-Computer Studies
| Hi-index | 0.00 |