DocumentCode
1280023
Title
From logic to manuals
Author
Thimbleby, Harold ; Ladkin, Peter
Author_Institution
Sch. of Comput. Sci., Middlesex Univ., London, UK
Volume
11
Issue
6
fYear
1996
fDate
11/1/1996 12:00:00 AM
Firstpage
347
Lastpage
354
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 is suitable for use in participatory design
Keywords
error detection; formal logic; specification languages; user manuals; error detection; logic specification; natural language ambiguities; participatory design; specification language; user manual reconstruction;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
553177
Link To Document