A methodology for the specification of graphical user interface
- 1 August 1981
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGGRAPH Computer Graphics
- Vol. 15 (3) , 99-108
- https://doi.org/10.1145/965161.806795
Abstract
We present a methodology for the design of interactive user interfaces. This methodology provides the designer with a number of steps to be followed in the design of a user interface. Examples of a formal notation for describing user interfaces are presented. This methodology also provides the designer with a number of techniques for evaluating his design. We present a list of desirable properties for a user interface design methodology. Our design methodology has all of these properties.Keywords
This publication has 4 references indexed in Scilit:
- Formal Grammar and Human Factors Design of an Interactive Graphics SystemIEEE Transactions on Software Engineering, 1981
- Proof techniques for hierarchically structured programsCommunications of the ACM, 1977
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- A technique for software module specification with examplesCommunications of the ACM, 1972