Title :
From logic to manuals
Author :
Thimbleby, Harold ; Ladkin, Peter
Author_Institution :
Sch. of Comput. Sci., Middlesex Univ., London, UK
fDate :
11/1/1996 12:00:00 AM
Abstract :
A simple language is demonstrated that combines specifications and manuals. This shows firstly 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 is suitable for use in participatory design
Keywords :
error detection; formal logic; specification languages; user manuals; error detection; logic specification; natural language ambiguities; participatory design; specification language; user manual reconstruction;
Journal_Title :
Software Engineering Journal
