Literate Specification: Using Design Rationale to Support Formal Methods in the Development of Human-Machine Interfaces-Reference-Cited by-同舟云学术

Literate Specification: Using Design Rationale to Support Formal Methods in the Development of Human-Machine Interfaces

Published:1996-12-01 Issue:4 Volume:11 Page:291-320
ISSN:0737-0024
Container-title:Human-Computer Interaction
language:en
Short-container-title:Human-Comp. Interaction

Author:

Johnson Christopher

Publisher

Informa UK Limited

Subject

Human-Computer Interaction,Applied Psychology

Link

http://www.tandfonline.com/doi/pdf/10.1207/s15327051hci1104_1

Reference42 articles.

1. Barringer, H., Kuiper, R. & Pnueli, A. (1985). Now you may compose temporal logic specifications. ACMSymposium on the m o r y 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. Roceedings of Znteract'90, 625-631. North Holland: Elsevier.

3. Chan, T. (1994). A graphical tool to support the QOC notation. Master's thesis, Department of Computer Science, University of York, United Kingdom.

4. Clark, K. L. (1981). Tlic s y W i s and ver#htian of logic progwmr (Tech. Rep. No. 81/36). London: Imperial College of Science and Technology, Department of Computing.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Worth-Focused Design, Book 2: Approaches, Contextx, and Case Studies;Synthesis Lectures on Human-Centered Informatics;2020-04-09

2. A Survey of Design Rationale Systems: Approaches, Representation, Capture and Retrieval;Engineering with Computers;2000-12

3. Representing the impact of time on human error and systems failure;Interacting with Computers;1998-12

4. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998

5. Documenting the design of safety-critical, user interfaces;Interacting with Computers;1996-11