From logic to manuals

From logic to manuals

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

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.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
Software Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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.


    1. 1)
      • The inevitable intertwining of specification and implementation
    2. 2)
      • A spiral model of software development and enhancement
    3. 3)
      • Analysis of a technical description of Airbus A320 braking systems
    4. 4)
      • , The pilot's burden: flight safety and the roots of pilot error
    5. 5)
      • Requirements specificaton for process-control systems
    6. 6)
      • Completeness and consistency analysis of state-based requirements
    7. 7)
      • Precise documentation of well-structured programs
    8. 8)
      • Functional documents for computer systems
    9. 9)
      • Automatic generation of technical documentation
    10. 10)
      • : Report on the accident to airbus A320-211 aircraft in warsaw on 14 september 1993, March 1994, also available from̃ladkin
    11. 11)
      • TLA in pictures
    12. 12)
      • The temporal logic of actions
    13. 13)
      • , Normal accidents: living with high-risk technologies
    14. 14)
      • Computer-related incidents and accidents with commercial airplanes
    15. 15)
      • Barth, H.: `DiDolog: automatable generation of specifications and formally correct manuals from informal sources', , Diploma master's thesis, Universität Bielefeld, Technische Fakultät, (also available from http///
    16. 16)
      • , Tcl and the Tk toolkit
    17. 17)
      • Thimbleby, H.W.: `Creating user manuals for use in collaborative design', Acm Conf. on Computer-Human Interaction CHI'96, 1996, Vancouver, Canada, p. 279–280
    18. 18)
      • Thimbleby, H., Ladkin, P.B.: `A proper explanation when you need one', People and Computers X. Proc. BCS Conf. on HCI'95, 1995, Cambridge University Press, p. 107–118, (also available from http.//̃ladkin
    19. 19)
      • NCSA: A beginner's guide to HTML (available from,1996)
    20. 20)
      • , Logic design algorithms
    21. 21)
      • TableSpec: free format specification table and source code generation
    22. 22)
      • , The Nurnberg funnel: designing minimalist instruction for practical computer skill
    23. 23)
      • , The TeXbook
    24. 24)
      • , LaTeX: a document preparation system
    25. 25)
      • , SGML: an author's guide

Related content

This is a required field
Please enter a valid email address