Title :
From logic to manuals again
Author :
Thimbleby, H.W. ; Ladkin, P.B.
Author_Institution :
Sch. of Comput. Sci., Middlesex Univ., London, UK
fDate :
6/1/1997 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 suitable for use in participatory design
Keywords :
formal languages; formal logic; specification languages; user centred design; user manuals; automated process; error detection; flight crew operating manuals; logic specification; natural language ambiguities; participatory design; specification language; user manual automatic reconstruction;
Journal_Title :
Software Engineering. IEE Proceedings- [see also Software, IEE Proceedings]
DOI :
10.1049/ip-sen:19971104
