Precise documentation of well-structured programs
- McMaster Univ., Hamilton, Ontario (Canada)
This paper 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 Mills functional approach to program documentation and verification; programs are specified and described in tabular form.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- OSTI ID:
- 543312
- Report Number(s):
- CONF-970417-; ON: DE97006858; TRN: 97:005589-0001
- Resource Relation:
- Conference: Software quality forum, Albuquerque, NM (United States), 1-3 Apr 1997; Other Information: PBD: [1997]; Related Information: Is Part Of Software: Our quest for excellence. Honoring 50 years of software history, progress, and process; PB: 579 p.
- Country of Publication:
- United States
- Language:
- English
Similar Records
2011 Annual Criticality Safety Program Performance Summary
ENDF/B Summary Documentation