Transformations on a formal specification of user-computer interfaces
- 1 April 1987
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGGRAPH Computer Graphics
- Vol. 21 (2) , 109-113
- https://doi.org/10.1145/24919.24926
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- An object-oriented user interface management systemPublished by Association for Computing Machinery (ACM) ,1986
- Graceful interaction through the COUSIN command interfaceInternational Journal of Man-Machine Studies, 1983
- Towards specifying and evaluating the human factors of user-computer interfacesPublished by Association for Computing Machinery (ACM) ,1982
- Further developments toward using formal grammar as a design toolPublished by Association for Computing Machinery (ACM) ,1982
- The keystroke-level model for user performance time with interactive systemsCommunications of the ACM, 1980