TITLE: Generating Indexed Formal Software Documents
BibTeX
@MISC{Wang_title:generating,
author = {Li Wang and B. Sc},
title = {TITLE: Generating Indexed Formal Software Documents},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
ii Precise software documentation can be written as a set of mathematical expressions, but in practice, people require a mixture of informal (English) material and formal mathematical expressions. Furthermore, most documents for real software comprise hundreds of tables. Appropriate indices are required to e ciently search for infor-mation. In this work we consider the problem of automatic preparation of indices for such software documents. The user is able to prepare text and diagrams using a system such as L ATEX, while using the TTS system [21] to produce the tables. The TTS system will then produce L ATEX representations of the tables to be inserted in the document using a tool called TLT (Table L ATEX Tool). Finally, theDIT (Docu-ment Indexing Tool) will provide a set of indices indicating the table, row, column and page number where each symbol appears. This work describes the design and development of TLT and DIT for gener-ating indexed software documents. The indices generated by DIT can also be used
Keyphrases
indexed formal software document tt system automatic preparation mathematical expression real software comprise hundred appropriate index atex representation gener-ating indexed software document formal mathematical expression ii precise software documentation docu-ment indexing tool software document table atex tool page number
