Conference
Precise Documentation of Critical Software
Abstract
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software more trustworthy. It shows how tabular expressions can be used to prepare software documents that are both precise and easily used by developers, inspectors, and testers. The paper reviews a number of “tried and true” ideas and illustrates some new refinements in the …
Authors
Parnas DL; Vilkomir SA
Pagination
pp. 237-244
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
November 1, 2007
DOI
10.1109/hase.2007.70
Name of conference
10th IEEE High Assurance Systems Engineering Symposium (HASE'07)