Literate specification: Using design rationale to support formal methods in the development of human-machine interfaces

Human-Computer Interaction

Volumn 11, Issue 4, 1996, Pages 291-320

  Johnson, Christopher W ^a,b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b Glasgow Accident Analysis Group

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; FORMAL LANGUAGES; HUMAN COMPUTER INTERACTION; HUMAN ENGINEERING; MAN MACHINE SYSTEMS; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

FORMAL DEVELOPMENT LANGUAGE; HUMAN MACHINE INTERFACES; LITERATE SPECIFICATION; SEMIFORMAL DESIGN RATIONALE;

USER INTERFACES;

EID: 0030374410     PISSN: 07370024     EISSN: None     Source Type: Journal    
DOI: 10.1207/s15327051hci1104_1     Document Type: Article

References (6)

1. Barringer, H., Kuiper, R., & Pnueli, A. (1985). Now you may compose temporal logic specifications. ACM Symposium on the Theory of Computing, 51-63, New York: ACM.
2. Bastide, R., & Palanque, P. (1990). Petri Net objects for the design, validation and prototyping of user-driven interfaces. Proceedings of Interact'90, 625-631. North Holland: Elsevier.
3. Bowen, J., & Stavridou, V. (1993). Safety-critical systems, formal methods and standards. Software Engineering Journal, 8, 189-209.
4. Chan, T. (1994). A graphical tool to support the QOC notation. Master's thesis, Department of Computer Science, University of York, United Kingdom.
5. Worley, N., & Lewins, J. (Eds.). (1988). The Chernobyl accident and its implications for the United Kingdom-Report number 19 of the Watt Committee on Energy. London, England: Elsevier.
6. Yakemovic, K. C. B., & Conklin, J. (1990). Report on a development project use of an issue based information system. Proceedings of the CSCW'90 Conference on Computer-Supported Cooperative Work, 105-118. New York: ACM.