FROM LOGIC TO MANUALS

Authors
THIMBLEBY H LADKIN P
Citation
H. Thimbleby et P. Ladkin, FROM LOGIC TO MANUALS, Software engineering journal, 11(6), 1996, pp. 347-354
Citations number
25
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
Software engineering journal → ACNP
ISSN journal
02686961
Volume
11
Issue
6
Year of publication
1996
Pages
347 - 354
Database
ISI
SICI code
0268-6961(1996)11:6<347:FLTM>2.0.ZU;2-J
Abstract
A simple language is demonstrated that combines specifications and man uals. This shows first that a user manual can be automatically reconst ructed 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.