AVI '94 Proceedings of the workshop on Advanced visual interfaces
Specification and dialogue control of visual interaction through visual rewriting systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Teaching and Support Tool for Building Formal Models of Graphical User-Interfaces
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
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 |