From logic to manuals again

IEE Proceedings: Software

Volumn 144, Issue 3, 1997, Pages 185-191

  Thimbleby, H W ^a   Ladkin, P B ^b  

^a MIDDLESEX UNIVERSITY   (United Kingdom)

^b BIELEFELD UNIVERSITY   (Germany)

Author keywords

Software user manuals

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EFFICIENCY; ERROR DETECTION; LOGIC DESIGN; SPECIFICATIONS;

MANUALS;

COMPUTER SOFTWARE;

EID: 0031152617     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19971104     Document Type: Article

References (25)

1. SWARTOUT, W., and BALZER, R.: 'The inevitable intertwining of specification and implementation', Commun. ACM, 1982, 25, (7), pp. 438-440
2. BOEHM, B.W.: 'A spiral model of software development and enhancement', ACM SIGSOFT Softw. Eng. Notes, 1986, 11, (4), pp. 14-24
3. LADKIN, P.B.: 'Analysis of a technical description of the Airbus A320 braking system', High Integrity Syst., 1995, 1, (4), pp. 331-349 (also available from http://www.rvs.uni-bielefeld.de)
4. BUCK, R.N.: 'The pilot's burden: flight safety and the roots of pilot error' (Iowa State University Press, 1994)
5. LEVESON, N., HEIMDAHL, M.P.E., HILDRETH, H., and REESE, J.D.: 'Requirements specification for process-control systems', IEEE Trans. Softw. Eng., 1994, SE-20, (9), pp. 684-707
6. HEIMDAHL, M.P.E., and LEVESON, N.: 'Completeness and consistency analysis of state-based requirements', IEEE Trans. Softw. Eng., 1996, 22, (6), pp. 363-377
7. PARNAS, D.L., MADEY, J., and IGLEWSKI, M.: 'Precise documentation of well-structured programs', IEEE Trans. Softw. Eng., 1994, SE-20, (12), pp. 948-976
8. PARNAS, D.L., and MADEY, J.: 'Functional documents for computer systems', Sci. Comput. Program., 1995, 25, pp. 41-61
9. REITER, E., MELLISH, C., and LEVINE, J.: 'Automatic generation of technical documentation', Appl. Artif. Intell., 1995, 9, (3), pp. 259-287 (also available from http://www.dai.ed.ac.uk/ daidb/staff/personal_pages/chrism/idas.html)
10. Main Commission Aircraft Accident Investigation Warsaw: 'Report on the accident to Airbus A320-211 aircraft in Warsaw on 14 Spetember 1993'. Warsaw, March 1994 (also available from http://www.rvs.uni-bielefeld.de)
11. LAMPORT, L.: 'TLA in pictures', IEEE Trans. Softw. Eng., 1995, 21, (9), pp. 768-775 (also available from http://www.research.digital.com/SRC/tla/)
12. LAMPORT, L.: 'The temporal logic of actions', ACM Trans. Programming Lang. Syst., 1994, 16, (3), pp. 872-923 (also available from http://www.research.digital.com/SRC/tla/)
13. PERROW, C.: 'Normal accidents: living with high-risk technologies' (Basic Books, 1984)
14. LADKIN, P.B. (Ed.): 'Computer-related incidents and accidents with commercial airplanes', Hypertext Compendium of Sources and Commentary, available from http://www.rvs.uni-bielefeld.de
15. BARTH, H.: 'DiDoLog: automatable generation of specifications and formally correct manuals from informal sources'. Diploma Master's thesis, Technische Fakultät, Universität Bielefeld (also available from http://www.rvs.uni-bielefeld.de)
16. OUSTERHOUT, J.K.: 'Tcl and the Tk toolkit' (Addison-Wesley, 1994)
17. THIMBLEBY, H.W.: 'Creating user manuals for use in collaborative design'. ACM conference on Computer-Human Interaction, CHI'96, Vancouver, Canada, 1996, pp. 279-280
18. THIMBLEBY, H., and LADKIN, P.B.: 'A proper explanation when you need one' in KIRBY, M.A.R., DIX, A.J., and FINLAY, J.E. (Eds.): 'People and computers X'. Proc. BCS Conf. on HCI'95 (Cambridge University Press, 1995), pp. 107-118 (also available from http://www.rvs.uni-bielefeld.de)
19. NCSA: 'A beginner's guide to HTML'. Available from http:// www.ncsa.uiuc.edu/General/Internet/WWW/HTMLPrimer.html, 1996
20. ZISSOS, D.: 'Logic design algorithms' (Harwell/Oxford University Press, 1972)
21. OKUNO, H., MATSUMOTO, H., and ASAI, H.: 'TableSpec: free format specification table and source code generation', Softw. - Pract. Exp., 1996, 26, (2), pp. 213-235
22. CARROLL, J.M.: 'The Nürnberg funnel: designing minimalist instruction for practical computer skill' (MIT Press, 1990)
23. KNUTH, D.E.: 'The TeXbook' (Addison-Wesley, 1992)
24. LAMPORT, L.: 'LaTeX: a document preparation system' (Addison-Wesley, 1994)
25. BRYAN, M.: 'SGML: an author's guide' (Addison-Wesley, 1988)