a methodology for the specification of graphical user interface
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.
methodology graphical user interfaces user interface design interaction examples formalism user interface design design methodologies man-machine interfaces human factors software engineering computer graphics software specification