Proof techniques for hierarchically structured programs
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
A methodology for the specification of graphical user interface
SIGGRAPH '81 Proceedings of the 8th annual conference on Computer graphics and interactive techniques
An annotated bibliography on user interface design
ACM SIGCHI Bulletin
Hi-index | 0.00 |
The design of good user interfaces is more of an art form than a science or engineering discipline. One of the problems faced by user interface designers is choosing the appropriate interaction technique for particular applications. At the present time the designer must rely on his memory and experience in making this choice. Our solution to this problem is the production of an interaction technique catalogue containing the descriptions of a large number of standard interaction techniques. We present the basic principles and organization of this catalogue along with some samples of its contents. The complete catalogue can be found in Green [5].