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.
No takes yet. Share an insight, caveat, or question.
Thimbleby et al. (1997) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: