Journal article
Precise documentation of well-structured programs
Abstract
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 …
Authors
Parnas DL; Madey J; Iglewski M
Journal
IEEE Transactions on Software Engineering, Vol. 20, No. 12, pp. 948–976
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
1994
DOI
10.1109/32.368133
ISSN
0098-5589