From logic to manuals again
From logic to manuals again
- Author(s): H.W. Thimbleby and P.B. Ladkin
- DOI: 10.1049/ip-sen:19971104
For access to this article, please select a purchase option:
Buy article PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
Thank you
Your recommendation has been sent to your librarian.
- Author(s): H.W. Thimbleby 1 and P.B. Ladkin 2
-
-
View affiliations
-
Affiliations:
1: School of Computing Science, Middlesex University, London, United Kingdom
2: Technische Fakultät, Universität Bielefeld, Bielefeld, Germany
-
Affiliations:
1: School of Computing Science, Middlesex University, London, United Kingdom
- Source:
Volume 144, Issue 3,
June 1997,
p.
185 – 192
DOI: 10.1049/ip-sen:19971104 , Print ISSN 1462-5970, Online ISSN 1463-9831
A simple language is demonstrated that combines specifications and manuals. This shows: first, that a user manual can be automatically reconstructed from a logic specification that is effectively identical to the original logic (up to ambiguities in natural language); and, secondly, that such an automated process can help detect errors. The process is fast and suitable for use in participatory design.
Inspec keywords: formal languages; user centred design; user manuals; specification languages; formal logic
Other keywords:
Subjects: High level languages; Formal methods; Formal languages and computational linguistics
References
-
-
1)
- H. Okuno , H. Matsumoto , H. Asai . TableSpec: free format specification table and source code generation. Softw.—Pract. Exp. , 2 , 213 - 235
-
2)
- N. Leveson , M.P.E. Heimdahl , H. Hildreth , J.D. Reese . Requirements specification for process-control systems. IEEE Trans. Softw. Eng. , 9 , 684 - 707
-
3)
- B.W. Boehm . A spiral model of software development and enhancement. ACM SIGSOFT Softw. Eng. Notes , 4 , 14 - 24
-
4)
- D.L. Parnas , J. Madey , M. Iglewski . Precise documentation of well-structured programs. IEEE Trans. Softw. Eng. , 12 , 948 - 976
-
5)
- D.L. Parnas , J. Madey . Functional documents for computer systems. Sci. Comput. Program. , 41 - 61
-
6)
- C. Perrow . Normal accidents: living with high-risk technologies.
-
7)
- R.N. Buck . (1994) The pilot's burden: flight safety and the roots of pilot error.
-
8)
- D.E. Knuth . (1992) The TeXbook.
-
9)
- Computer-related incidents and accidents with commercial airplanes. Hypertext Compendium of Sources and Commentary
-
10)
- L. Lamport . TLA in pictures. IEEE Trans. Softw. Eng. , 9 , 768 - 775
-
11)
- P.B. Ladkin . Analysis of a technical description of the Airbus A320 braking system. High Integrity Syst. , 4 , 331 - 349
-
12)
- 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.rvs.uni-bielefeld.de).
-
13)
- H. Thimbleby , P.B. Ladkin , M.A.R. Kirby , A.J. Dix , J.E. Finlay . (1995) A proper explanation when you need one, People and computers X. Proc. BCS Conf. on HCI'95.
-
14)
- L. Lamport . (1994) LaTeX: a document preparation system.
-
15)
- D. Zissos . (1972) Logic design algorithms.
-
16)
- M.P.E. Heimdahl , N. Leveson . Completeness and consistency analysis of state-based requirements. IEEE Trans. Softw. Eng. , 6 , 363 - 377
-
17)
- Barth, H.: `DiDoLog: Automatable generation of specifications and formally correctmanuals from informal sources', , Master's, Universität Bielefeld, Technische Fakultät, also available from http://www.rvs.uni-bielefeld.de.
-
18)
- J.K. Ousterhout . (1994) Tcl and the Tk Toolkit.
-
19)
- Thimbleby, H.W.: `Creating user manuals for use in collaborative design', ACM conference on Computer-Human Interaction, CHI'96, 1996, Vancouver, Canada, p. 279–280.
-
20)
- L. Lamport . The temporal logic of actions. ACM Trans. Programming Lang. Syst. , 3 , 872 - 923
-
21)
- E. Reiter , C. MelliSh , J. Levine . Automatic generation of technical documentation. Appl. Artif. Intell. , 3 , 259 - 287
-
22)
- NCSA: ‘A beginner's guide to HTML’. Availablefrom http://www.ncsa.uiuc.edu/General/Internet/WWW/HTMLPrimer.html, 1996.
-
23)
- J.M. Carroll . (1990) The Nürnberg funnel: designing minimalist instruction for practical computer skill.
-
24)
- M. Bryan . (1988) SGML: an author's guide.
-
25)
- W. Swartout , R. Balzer . The inevitable intertwining of specification and implementation. Commun. ACM , 7 , 438 - 440
-
1)