From logic to manuals

Software Engineering Journal

Volumn 11, Issue 6, 1996, Pages 347-353

  Thimbleby, Harold ^a   Ladkin, Peter ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; ERROR DETECTION; FORMAL LOGIC; SOFTWARE ENGINEERING; USER INTERFACES;

PARTICIPATORY DESIGN; SIMPLE LANGUAGE;

FORMAL LANGUAGES;

EID: 0030287049     PISSN: 02686961     EISSN: None     Source Type: Journal    
DOI: 10.1049/sej.1996.0045     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 systems', High Integrity Syst., 1995, 1, (4), pp. 331-349 (also available from http:// www.techfak.uni-bielefeld.de/∼ladkin)
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 specificaton for process-control systems', IEEE Trans., 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., 1996, SE22, (6), pp. 363-377
7. PARNAS, D.L., MADEY, J., and IGLEWSKI, M.: 'Precise documentation of well-structured programs', IEEE Trans., 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 httpy/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 September 1993'. Warsaw, March 1994 (also available from http://www.techfak.uni-bielefeld.de/∼ladkin)
11. LAMPORT, L.: 'TLA in pictures', IEEE Trans., 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., 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 Commendium of Sources and Commentary (also available from http:// www.techfak.uni-bielefeld.de/∼ladkin)
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.techfak.uni.bielefeld.de/ladkin)
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 Conf. 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 http7/www.techfak.uni-bielefeld.de/∼ladkin)
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 Nurnberg 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)