238 | -- | 244 | David Gries. An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs |
244 | -- | 252 | Charles Reynolds, Raymond T. Yeh. Induction as the Basis for Program Verification |
253 | -- | 265 | William A. Wulf, Ralph L. London, Mary Shaw. An Introduction to the Construction and Verification of Alphard Programs |
265 | -- | 273 | Harlan D. Mills. Software Development |
274 | -- | 276 | Maurice V. Wilkes. Software Engineering and Structured Programming |
277 | -- | 285 | Anita K. Jones, Barbara Liskov. A Language Extension for Controlling Access to Shared Data |
285 | -- | 292 | Susan L. Gerhart, Lawrence Yelowitz. Control Structure Abstractions of the Backtracking Programming Technique |
293 | -- | 300 | C. V. Ramamoorthy, Siu-Bun F. Ho, W. T. Chen. On the Automated Generation of Program Test Data |
301 | -- | 307 | David Lorge Parnas, Georg Handzel, Harald Würges. Design and Specification of the Minimal Subset of an Operating System Family |
308 | -- | 320 | Thomas J. McCabe. A Complexity Measure |
321 | -- | 328 | J. Eugene Ball, Jerome A. Feldman, James R. Low, Richard F. Rashid, Paul Rovner. RIG, Rochester s Intelligent Gateway: System Overview |