| Abstract of the paper, 15.07.1974(?) "Correctness of Axiomatic Definitions of Programming Language Semantics".
Abstract of the paper, 07.07.1974"Representing Functional Specifications in Cause-Effect Graphs" (by W.R. Elmendorf).
Abstract of the paper, 15.07.1974(?)"Methods for Software Specification".
Abstract of the paper, 15.07.1974(?)"Algebraic Problem Specification and the Enhancement of Reliability".
Advance Abstract of the paper, 15.07.1974(?)"State Transitions in Complex Software Systems" (by D.R. Innes).
Abstract of the paper, 15.07.1974(?)"Another axiomatization of PASCAL or Why axiomatize programming languages".
Abstract of the paper, 15.07.1974(?)"Correctness-preserving Program Transformations".
Abstract of the paper, 15.07.1974(?)"Toward a Theory of Test Data Selection".
Abstract of the paper, 15.07.1974(?)"An Approach to the Design of Tests of Programs".
Abstract of the paper, 15.07.1974(?)"Formal Top-Down Programming".
Abstract of the paper, 15.07.1974(?)"A Design Expression and Software Construction Aid" (by L.C. Carpenter and L.L. Tripp).
Abstract of the paper, 09.07.1974"Reliable Software through Reliable Interfaces" (by S.A. Kurzban).
Abstract of the paper, 15.07.1974(?)"Practical Aids for Software Development and Maintenance" (by C. Luk).
Abstract of the paper, 15.07.1974(?)"Software Reliability through Life Cycle Application of the Space Function Concept".
Abstract of the paper, 15.07.1974(?)"A New Design Technique for Large Scale Software Development" (by T.P. Sleight and A. Kossiakoff).
Abstract of the paper, 15.07.1974(?)"A Methodology for the construction of portable Data Banks" (by M. Goldberg).
Abstract of the paper, 15.07.1974(?)"Coherent Software Development Process" (by G.M. Engel).
Abstract of the paper, 15.07.1974(?)"PSL: a tool for the structured design of modular and reliable software systems" (by P. Ancilotti et al.).
Abstract of the paper, 15.07.1974"Virtual Computers as an Approach to Software Design, Implementation, and Documentation" (by T.W. Pratt).
Abstract of the paper, 15.07.1974(?)"A Structured Hierarchical Operating Systems".
1
2
3
4
5
6
7
8
9
Initial order | In alphabetical order | By date |
