Article

Free access

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

Author:

Robert J. K. JacobAuthors Info & Claims

CHI '82: Proceedings of the 1982 Conference on Human Factors in Computing Systems

Pages 315 - 321

https://doi.org/10.1145/800049.801802

Published: 15 March 1982 Publication History

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]

Conway, M.E. Design of a Separable Transition-Diagram Compiler. Comm. ACM, 1963, 6, 396-408.

Digital Library

[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]

Hanau, P.R. and Lenorovitz, D.R. Prototyping and Simulation Tools for User/Computer Dialogue Design. Proc. ACM SIGGRAPH, 1980, 62, 462-471.

Digital Library

[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]

Parnas, D.L. On the Use of Transition Diagrams in the Design of a User Interface for an Interactive Computer System. Proc. 24th National ACM Conference, 1969, 15, 379-385.

Digital Library

[13]

Reisner, P. Formal Grammar and Human Factors Design of an Interactive Graphics System. IEEE Transactions on Software Engineering, 1981, SE-7, 229-240.

Digital Library

[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]

Singer, A. Formal Methods and Human Factors in the Design of Interactive Languages. Ph.D. dissertation, Computer and Information Science, Univ. Massachusetts, September 1979.

Digital Library

[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]

Woods, W.A. Transition Network Grammars for Natural Language Analysis. Comm. ACM, 1970, 13, 591-606.

Digital Library

Cited By

Bowen JReeves S(2017)Combining Models for Interactive System ModellingThe Handbook of Formal Methods in Human-Computer Interaction10.1007/978-3-319-51838-1_6(161-182)Online publication date: 25-Apr-2017
https://doi.org/10.1007/978-3-319-51838-1_6
Caffiau SGirard PGuittet LScapin D(2009)Hierarchical StructureProceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques10.1007/978-3-642-02577-8_73(664-673)Online publication date: 14-Jul-2009
https://dl.acm.org/doi/10.1007/978-3-642-02577-8_73
Caffiau SAgon CDelerue O(2007)Conception du dialogue d'une application interactiveProceedings of the 19th Conference on l'Interaction Homme-Machine10.1145/1541436.1541479(225-228)Online publication date: 12-Nov-2007
https://dl.acm.org/doi/10.1145/1541436.1541479
Show More Cited By

Index Terms

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

Recommendations

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

Formal specification techniques are valuable in software development because they permit a designer to describe the external behavior of a system precisely without specifying its internal implementation. Although formal specifications have been applied ...
Executable specifications for a human-computer interface
CHI '83: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

It is useful to be able to specify a proposed human-computer interface formally before building it, particularly if a mockup suitable for testing can be obtained directly from the specification. A specification technique for user interfaces, based on ...
Formal Object-Oriented User-Interface Design
ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference

A notation is presented for formally describing the design of a user-interface. A specification of a system is given using the Object-Z formal specification language and then extended to describe presentation (user-interface design) using the User ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

CHI '82: Proceedings of the 1982 Conference on Human Factors in Computing Systems

March 1982

399 pages

ISBN:9781450373890

DOI:10.1145/800049

Copyright © 1982 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

NBS: National Bureau of Standards
ACM DC: ACM Washington D.C. Chapter
SIGCHI: ACM Special Interest Group on Computer-Human Interaction

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 March 1982

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

CHI '82 Paper Acceptance Rate 75 of 165 submissions, 45%;

Overall Acceptance Rate 6,199 of 26,314 submissions, 24%

Upcoming Conference

CHI 2025

Sponsor:
sigchi

ACM CHI Conference on Human Factors in Computing Systems

April 26 - May 1, 2025

Yokohama , Japan

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
458
Total Downloads

Downloads (Last 12 months)27
Downloads (Last 6 weeks)8

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bowen JReeves S(2017)Combining Models for Interactive System ModellingThe Handbook of Formal Methods in Human-Computer Interaction10.1007/978-3-319-51838-1_6(161-182)Online publication date: 25-Apr-2017
https://doi.org/10.1007/978-3-319-51838-1_6
Caffiau SGirard PGuittet LScapin D(2009)Hierarchical StructureProceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques10.1007/978-3-642-02577-8_73(664-673)Online publication date: 14-Jul-2009
https://dl.acm.org/doi/10.1007/978-3-642-02577-8_73
Caffiau SAgon CDelerue O(2007)Conception du dialogue d'une application interactiveProceedings of the 19th Conference on l'Interaction Homme-Machine10.1145/1541436.1541479(225-228)Online publication date: 12-Nov-2007
https://dl.acm.org/doi/10.1145/1541436.1541479
McDaid EGuest S(2005)On the design of a graphical transition network editorVisualization in Programming10.1007/3-540-18507-0_9(142-150)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-18507-0_9
Reisner P(2005)Analytic tools for human factors of softwareEnduser Systems and Their Human Factors10.1007/3-540-12273-7_19(94-121)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-12273-7_19
Rosenfeld ROlsen DRudnicky A(2001)Universal speech interfacesInteractions10.1145/384076.3840858:6(34-44)Online publication date: 1-Oct-2001
https://dl.acm.org/doi/10.1145/384076.384085
Morrison S(2000)Integrating discrete and continuous phenomena models into practical advanced user interface specificationsProceedings 33rd Annual Simulation Symposium (SS 2000)10.1109/SIMSYM.2000.844929(309-316)Online publication date: 2000
https://doi.org/10.1109/SIMSYM.2000.844929
Shirota YNakayama HIizawa A(1996)A New Type of Fourth Generation Language for Multimedia Databases: Kasuga ScriptAdvanced IT Tools10.1007/978-0-387-34979-4_24(207-214)Online publication date: 1996
https://doi.org/10.1007/978-0-387-34979-4_24
Wilson J(1995)Metaphors we design byInformation Services and Use10.5555/3183993.318400315:4(339-351)Online publication date: 1-Oct-1995
https://dl.acm.org/doi/10.5555/3183993.3184003
Chase JSchulman RHartson HHix D(1994)Development and evaluation of a taxonomical model of behavioral representation techniquesProceedings of the SIGCHI Conference on Human Factors in Computing Systems10.1145/191666.191730(159-165)Online publication date: 24-Apr-1994
https://dl.acm.org/doi/10.1145/191666.191730
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten