Issue No. 12 - December (1994 vol. 20)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.368133
<p>Describes a new form of program documentation that is precise, systematic and readable. This documentation comprises a set of displays supplemented by a lexicon and an index. Each display presents a program fragment in such a way that its correctness can be examined without looking at any other display. Each display has three parts: (1) the specification of the program presented in the display, (2) the program itself, and (3) the specifications of programs invoked by this program. The displays are intended to be used by software engineers as a reference document during inspection and maintenance. This paper also introduces a specification technique that is a refinement of H.D. Mills's (1975) functional approach to program documentation and verification; programs are specified and described in tabular form.</p>
structured programming; system documentation; program verification; formal specification; software maintenance; precise documentation; well-structured programs; displays; lexicon; index; program fragments; program correctness; specification; software engineering; reference document; software inspection; software maintenance; functional approach; program documentation; program verification; tabular form
J. Madey, D. Lorge Parnas and M. Iglewski, "Precise Documentation of Well-Structured Programs," in IEEE Transactions on Software Engineering, vol. 20, no. , pp. 948-976, 1994.