Some theorems we should prove

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 780 LNCS, Issue , 1994, Pages 155-162

  Parnas, David Lorge ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC;

THEOREM PROVING;

EID: 79957932202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57826-9_132     Document Type: Conference Paper

References (6)

1. Heninger, K.L., Kallander, J., Parnas, D.L., Shore, J.E., “Software Requirements for the A-7”E Aircraft”, NRL Memorandum Report 3876, United States Naval Research Laboratory, Washington D.C., November 1978, 523 pp.
2. Pamas, D.L., “Predicate Logic for Software Engineering”, CRL Report 241, McMaster University, TRIO (Telecommunications Research Institute of Ontario), February 1992, 8 pgs. To appear in IFFE Transactions on Software Engineering.
3. Parnas, D.L., Madey, J., Iglewski, M., “Formal Documentation of Well-Structured Programs”, CRL Report 259, McMaster University, TRIO (Telecommunications Research Institute of Ontario), September 1992, 37 pgs.
4. Pamas, D.L., Madey, J., “Functional Documentation for Computer Systems Engineering (Version 2)”, CRL Report 237, McMaster University, Hamilton Canada, TRIO (Telecommunications Research Institute of Ontario), September 1991, 14 pgs.
5. Parnas, D.L., “Tabular Representation of Relations”, CRL Report 260, McMaster University, TRIO (Telecommunications Research Institute of Ontario), October 1992, 12 pgs.
6. Parnas, D.L., Asmis, G.J.K., Madey, J., “Assessment of Safety-Critical Software in Nuclear Power Plants”, Nuclear Safety. vol. 32, no. 2, April-June 1991, pgs. 189-198.