Concerning the Specification of User Interfaces

Systems have been developed with an initial stage generating lexemes (or input primitives) which are then passed to a syntax analyser which parses the input and generates the required action. Sancha has built a number of systems in which text strings are associated with each input primitive. When a primitive is generated, the associated text string is appended to the input stream of the syntax analyser. The input language is then very free from device dependencies and can be mapped into virtually any collection of physical input devices.

[1]  Cliff B. Jones,et al.  Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

[2]  David A. Duce,et al.  Better Understanding through Formal Specification , 1985, Comput. Graph. Forum.

[3]  F. R. A. Hopgood Introduction to the Graphical Kernel System (GKS) , 1983 .

[4]  Allen Newell,et al.  Human Problem Solving. , 1973 .