rorn logic to manuals


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.

Cite this paper

@inproceedings{Thimbleby2004rornLT, title={rorn logic to manuals}, author={Harold W. Thimbleby and Peter B. Ladkin}, year={2004} }