http://iet.metastore.ingenta.com
1887

From logic to manuals

From logic to manuals

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

Buy article PDF
£12.50
(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 to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
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.

References

    1. 1)
      • W. Swartout , R. Balzer . The inevitable intertwining of specification and implementation. Commun. ACM , 7 , 438 - 440
    2. 2)
      • B.W. Boehm . A spiral model of software development and enhancement. ACM SIGSOFT Softw. Eng. Notes , 4 , 14 - 24
    3. 3)
      • P.B. Ladkin . Analysis of a technical description of Airbus A320 braking systems. High Integrity Syst. , 4 , 331 - 349
    4. 4)
      • R.N. Buck . (1994) , The pilot's burden: flight safety and the roots of pilot error.
    5. 5)
      • N. Leveson , M.P.E. Heimdahl , H. Hildreth , J.D. Reese . Requirements specificaton for process-control systems. IEEE Trans. , 9 , 684 - 707
    6. 6)
      • M.P.E. Heimdahl , N. Leveson . Completeness and consistency analysis of state-based requirements. IEEE Trans. , 6 , 363 - 377
    7. 7)
      • D.L. Parnas , J. Madey , M. Iglewski . Precise documentation of well-structured programs. IEEE Trans. , 12 , 948 - 976
    8. 8)
      • D.L. Parnas , J. Madey . Functional documents for computer systems. Sci. Comput. Program. , 41 - 61
    9. 9)
      • E. Reiter , C. MelliSh , J. Levine . Automatic generation of technical documentation. Appl. Artif. Intell. , 3 , 259 - 287
    10. 10)
      • : Report on the accident to airbus A320-211 aircraft in warsaw on 14 september 1993, March 1994, also available from http://www.techfak.uni-bielefeld.de/̃ladkin.
    11. 11)
      • L. Lamport . TLA in pictures. IEEE Trans. , 9 , 768 - 775
    12. 12)
      • L. Lamport . The temporal logic of actions. ACM Trans. , 3 , 872 - 923
    13. 13)
      • C. Perrow . (1984) , Normal accidents: living with high-risk technologies.
    14. 14)
      • Computer-related incidents and accidents with commercial airplanes. Hypertext Commendium of Sources and Commentary
    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///www.techfak.uni.bielefeld.de/ladkin).
    16. 16)
      • J.K. Ousterhout . (1994) , 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.//www.techfak.unibielefeld.de/̃ladkin.
    19. 19)
      • NCSA: A beginner's guide to HTML (available from http://www.ncsa.uiuc.edu/General/Internet/WWW/HTMLPrimer.html,1996).
    20. 20)
      • D. Zissos . (1972) , Logic design algorithms.
    21. 21)
      • H. Okuno , H. Matsumoto , H. Asai . TableSpec: free format specification table and source code generation. Softw.—Pract. Exp. , 2 , 213 - 235
    22. 22)
      • J.M. Carroll . (1990) , The Nurnberg funnel: designing minimalist instruction for practical computer skill.
    23. 23)
      • D.E. Knuth . (1992) , The TeXbook.
    24. 24)
      • L. Lamport . (1994) , LaTeX: a document preparation system.
    25. 25)
      • M. Bryan . (1988) , SGML: an author's guide.
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1996.0045
Loading

Related content

content/journals/10.1049/sej.1996.0045
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address