“A methodology for the specification of graphical user interface” by Green

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.

1. Boehm B. W., J. R. Brown, H. Kaspar, M. Lipow, G. J. MacLeod, M. J. Merrit, Characteristics of Software Quality, North-Holland, Amsterdam, 1978.
2. Green M., “A Specification Language and Design Notation for Graphical User Interfaces”, TR 81-CS-09, Unit for Computer Science, McMaster University, 1981.
3. Heninger K. L., “Specifying Software Requirements for Complex Systems: New Techniques and Their Application”, in Specification of Reliable Software, IEEE Computer Society, Long Beach CA, 1979.
4. Liskov B. H., V. Berzins, “An Appraisal of Program Specifications”, in Directions in Software Technology (ed. P Wegner), The MIT Press, Cambridge Mass., 1979.
5. Liskov B. H., S. N Zilles, “Specification Techniques for Data Abstractions”, IEEE Transactions on Software Engineering, SE-1, no. 1, p.7, 1975.
6. Newman W. M., R. F. Sproull, Principles of Interactive Computer Graphics, 2nd Edition, McGraw-Hill, 1979.
7. Parnas D. L., “A Technique for Software Module Specification With Examples”, CACM, vol. 15, no. 5, p.330, 1972.
8. Reisner P., “Formal Grammar and Human Factors Design of an Interactive Graphics System”, IEEE Transactions on Software Engineering, SE-7, no. 2, p.229, 1981.
9. Robinson L., K. N. Levitt, “Proof Techniques for Hierarchically Structured Programs”, CACM, vol. 20, no. 4, p.271, 1977.
10. Zelkowitz M. V., A. C. Shaw, J.D. Gannon, Principles of Software Engineering, Prentice-Hall, New Jersey, 1979.