Time modelling in Petri nets for the design of interaction active
ACM SIGCHI Bulletin
Toward automatic generation of novice user test scripts
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Specification and simulation of task models with VTMB
CHI '99 Extended Abstracts on Human Factors in Computing Systems
Prototyping Pre-implementation Designs of Virtual Environment Behaviour
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Mappings and Interoperability: A Meta-modelling Approach
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
SwingStates: adding state machines to Java and the Swing toolkit
Software—Practice & Experience
Verifying the behaviour of virtual environment world objects
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
A design life-cycle for the formal design of user interfaces
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
| Hi-index | 0.00 |