Precise documentation of well-structured programs
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (12) , 948-976
- https://doi.org/10.1109/32.368133
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 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.Keywords
This publication has 12 references indexed in Scilit:
- Documentation of requirements for computer systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Generating a test oracle from program documentationPublished by Association for Computing Machinery (ACM) ,1994
- The Modular Structure of Complex SystemsIEEE Transactions on Software Engineering, 1985
- Predicative programming Part ICommunications of the ACM, 1984
- A generalized control structure and its formal definitionCommunications of the ACM, 1983
- A simple relation between relational and predicate transformer semantics for nondeterministic programsInformation Processing Letters, 1980
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980
- The new math of computer programmingCommunications of the ACM, 1975
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969