DocumentCode
1532719
Title
From logic to manuals again
Author
Thimbleby, H.W. ; Ladkin, P.B.
Author_Institution
Sch. of Comput. Sci., Middlesex Univ., London, UK
Volume
144
Issue
3
fYear
1997
fDate
6/1/1997 12:00:00 AM
Firstpage
185
Lastpage
192
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;
fLanguage
English
Journal_Title
Software Engineering. IEE Proceedings- [see also Software, IEE Proceedings]
Publisher
iet
ISSN
1364-5080
Type
jour
DOI
10.1049/ip-sen:19971104
Filename
621240
Link To Document