Lean cuisine: a low fat notation for menus
Interacting with Computers
A system for specifying and rapidly prototyping user interfaces
Taking software design seriously
SIGGRAPH '90 Workshop report: software architectures and metaphors for non-WIMP user interfaces
ACM SIGGRAPH Computer Graphics
Specification of interface interaction objects
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A generic platform for addressing the multimodal challenge
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Validating interactive system design through the verification of formal task and system models
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces
ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
A task centered approach to analysing human error tolerance requirements
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
A Framework for Prototyping and Mechanically Verifying a Class of User Interfaces
CASE '95 Proceedings of the Seventh International Workshop on Computer-Aided Software Engineering
An approach to Petri net based formal modeling of user interactions from X3D content
Proceedings of the eleventh international conference on 3D web technology
| Hi-index | 0.00 |