From logic to manuals
Harold Thimbleby, Peter Bernard Ladkin · Software Engineering Journal · 1996
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.