From logic to manuals again
Harold Thimbleby, Peter Bernard Ladkin · IEE Proceedings - Software Engineering · 1997
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.