Using formal specifications in the design of a human-computer interface

ABSTRACT

This paper surveys specification techniques that can be applied to human-computer interfaces, provides examples of specifications, and presents some conclusions drawn from the author's experience using the techniques for specifying the user interface of the message system.

REFERENCES

• 1: Melvin E. Conway, Design of a separable transition-diagram compiler, Communications of the ACM, v.6 n.7, p.396-408, July 1963 [doi>10.1145/366663.366704]
• 2: Embley, D.W. Empirical and Formal Language Design Applied to a Unified Control Construct for Interactive Computing. Int. J. Man-Machine Studies, 1978, 6, 197-216.
• 3: Foley, J.D. and Wallace, V.L. The Art of Graphic Man-Machine Conversation. Proc. IEEE, 1974, 62, 462-471.
• 4: Paul R. Hanau , David R. Lenorovitz, Prototyping and simulation tools for user/computer dialogue design, Proceedings of the 7th annual conference on Computer graphics and interactive techniques, p.271-278, July 14-18, 1980, Seattle, Washington, United States
• 5: Heitmeyer, C.L. and Wilson, S.H. Military Message Systems: Current Status and Future Directions. IEEE Transactions on Communications, 1980, COM-28, 1645-1654.
• 6: Heitmeyer, C.L. An Intermediate Command Language (ICL) for the Family of Military Message Systems. Technical Memorandum 7590-450:CH:ch, Naval Research Laboratory, 13 November 1981.
• 7: Jacob, R.J.K. Survey of Specification Techniques for User Interfaces. Technical Memorandum 7590-303:RJ:rj, Naval Research Laboratory, 21 August 1981.
• 8: Jacob, R.J.K. Examples of Specifications of User Interfaces. Technical Memorandum 7590-008:RJ:rj, Naval Research Laboratory, 6 January 1982.
• 9: Johnson, S.C. Language Development Tools on the Unix System. Computer, 1980, 13, 16-21.
• 10: MUMPS Development Committee. MUMPS Language Standard. New York: American National Standards Institute, 1977.
• 11: Moran, T.P. The Command Language Grammar: A Representation for the User Interface of Interactive Computer Systems. Int. J. Man-Machine Studies, 1981, 15, 3-50.
• 12: David L. Parnas, On the use of transition diagrams in the design of a user interface for an interactive computer system, Proceedings of the 1969 24th national conference, p.379-385, August 26-28, 1969 [doi>10.1145/800195.805945]
• 13: Reisner, P. Formal Grammar and Human Factors Design of an Interactive Graphics System. IEEE Transactions on Software Engineering, 1981, SE-7, 229-240.
• 14: Schneiderman, B. Multi-Party Grammars and Related Features for Defining Interactive Systems. IEEE Transactions on Systems, Man, and Cybernetics, 1981, SE-7, 229-240.
• 15: Andrew Jay Singer, Formal methods and human factors in the design of interactive languages, 1979
• 16: Wilson, S.H., Kallander, J.W., III, N.M. Thomas, Klitzkie, L.C., and Bunch, J.R. Jr. MME Quick Look Report. Memorandum Report 3992, Naval Research Laboratory, 1979.
• 17: W. A. Woods, Transition network grammars for natural language analysis, Communications of the ACM, v.13 n.10, p.591-606, Oct. 1970 [doi>10.1145/355598.362773]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Management