Some Theorems We Should Prove

  title={Some Theorems We Should Prove},
  author={David Lorge Parnas},
Mathematical techniques can be used to produce precise, provably complete documentation for computer systems. However, such documents are highly detailed and oversights and other errors are quite common. To detect the “early” errors in a document, one must attempt to prove certain simple theorems. This paper gives some examples of such theorems. 

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-7 of 7 references

Predicate Logic for Software Engineering

IEEE Trans. Software Eng. • 1993
View 1 Excerpt

Formal Documentation of Well-Structured Programs

D. L. Parnas, J. Madey, M. Iglewski
CRL Report 259, • 1992
View 2 Excerpts

Assessment of Safety-Critical Software in Nuclear Power Plants

D. L. Parnas, G.J.K. Asmis, J. Madey
Nuclear Safety . vol. 32, • 1991
View 3 Excerpts

Software Requirements for the A-7E Aircraft

K. L. Heninger, J. Kallander, D. L. Parnas, J. E. Shore
NRL Memorandum Report 3876, • 1978
View 1 Excerpt

Similar Papers

Loading similar papers…