Creating user manuals for use in collaborative design

Conference on Human Factors in Computing Systems - Proceedings

Volumn , Issue , 1996, Pages 279-280

  Thimbleby, Harold ^a  

^a MIDDLESEX UNIVERSITY   (United Kingdom)

Author keywords

concurrent engineering; formal specification; User manuals

Indexed keywords

CONCURRENT ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; HUMAN COMPUTER INTERACTION; INTERACTIVE DEVICES; MATHEMATICAL TECHNIQUES; NATURAL LANGUAGE PROCESSING SYSTEMS; SYSTEMS ANALYSIS;

AIRBUS A320; COLLABORATIVE DESIGN; COMMON GROUND; ENGINEERING PRACTICES; FLY-BY-WIRES; USER MANUAL;

FORMAL SPECIFICATION; USER INTERFACES;

FORMAL SPECIFICATION; USERS MANUALS;

EID: 0029708209     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/257089.257321     Document Type: Conference Paper

References (9)

1. J. André, "Can structured formatters prevent train crashes?" Electronic Publishing-Origination, Dissemination and Design, 2(3): 169-173, 1989.
2. J. M. Carroll, The Nurnberg Funnel: Designing Minimalist Instruction for Practical Computer Skill, MIT Press, 1990.
3. P. B. Ladkin, "Analysis of a technical description of the Airbus A320 Braking System," High Integrity Systems, in press.
4. L. Lamport, "The Temporal Logic of Actions," ACM Transactions on Programming Languages and Systems, 16(3):872-923, 1994.
5. E. Reiter, C. Mellish & J Levine, "Automatic generation of technical documentation," Applied Artificial Intelligence, in press.
6. W. V. Quine, "A way to simplify truth functions," American Mathematical Monthly, 62:627-631, 1955.
7. H. W. Thimbleby, User Interface Design, Addison-Wesley, 1990.
8. H. Thimbleby & M. Addison, "Intelligent adaptive assistance and its automatic generation," Interacting with Computers, in press.
9. H. Thimbleby & P. B. Ladkin, "A Proper Explanation When You Need One," in M. A. R. Kirby, A. J. Dix & J. E. Finlay (eds), Proceedings BCS Conference HCI'95, X:107-118, 1995.