Volume 1, Number 1, March 1975

• 
  Barbara Liskov, Stephen N. Zilles: Specification Techniques for Data Abstractions. 7-19
• 
  William M. McKeeman: On Preventing Programming Languages from Interfering with Programming. 19-26
• 
  Karl E. Hewitt, Brian Cantwell Smith: Towards a Programming Apprentice. 26-45

• 
  C. V. Ramamoorthy, Siu-Bun F. Ho: Testing Large Software with Automated Software Evaluation Systems. 46-58
• 
  Donald I. Good, Ralph L. London, W. W. Bledsoe: An Interactive Program Verification System. 59-67
• 
  Steven M. German, Ben Wegbreit: A Synthesizer of Inductive Assertions. 68-75
• 
  Sanat K. Basu, Jayadev Misra: Proving Loop Programs. 76-86
• 
  J. Richard Kane, Stephen S. Yau: Concurrent Software Fault Detection. 87-99

• 
  K. Mani Chandy, James C. Browne, Charles W. Dissly, Werner R. Uhrig: Analytic Models for Rollback and Recovery Strategies in Data Base Systems. 100-110

• 
  Douglas E. Whitten, Paul A. D. de Maine: A Machine and Configuration Independent Fortran: Portable Fortran (PFortran). 111-124

• 
  Barry W. Boehm, Robert K. McClean, D. B. Urfrig: Some Experience with Automated Aids to the Design of Large-Scale Reliable Software. 125-133

Volume 1, Number 2, June 1975

• 
  Albert Endres: An Analysis of Errors and Their Causes in System Programs. 140-149
• 
  Raymond J. Rubey, Joseph A. Dana, Peter W. Biché: Quantitative Aspects of Software Validation. 150-155
• 
  John B. Goodenough, Susan L. Gerhart: Toward a Theory of Test Data Selection. 156-173
• 
  L. M. Culpepper: A System for Reliable Engineering Software. 174-178
• 
  John D. Gannon, James J. Horning: Language Design for Programming Reliability. 179-191
• 
  Niklaus Wirth: An Assessment of the Programming Language Pascal. 192-198
• 
  Per Brinch Hansen: The Programming Language Concurrent Pascal. 199-207
• 
  Charles M. Geschke, James G. Mitchell: On the Problem of Uniform References to Data Structures. 207-219
• 
  Brian Randell: System Structure for Software Fault Tolerance. 221-232
• 
  William A. Wulf: Reliable Hardware/Software Architecture. 233-240
• 
  F. Terry Baker: Structured Programming in a Production Programming Environment. 241-252
• 
  William C. Lynch, John W. Langner, Marvin S. Schwartz: Reliability Experience with Chi/OS. 253-257

Volume 1, Number 3, September 1975

• 
  Yaohan Chu: A Methodology for Software Engineering. 262-270
• 
  Ben Wegbreit: Property Extraction in Well-Founded Property Sets. 270-285
• 
  Michael R. Paige: Program Graphs, an Algebra, and Their Implication for Programming. 286-291
• 
  Thomas Porter, István Simon: Random Insertion into a Priority Queue Structure. 292-298
• 
  David E. Morgan, Walter Banks, Dale P. Goodspeed, Richard Kolanko: A Computer Network Monitoring System. 299-311
• 
  John D. Musa: A Theory of Software Reliability and Its Application. 312-327
• 
  J. Strother Moore: Introducing Iteration into the Pure Lisp Theorem Prover. 328-338
• 
  Sanat K. Basu, Raymond T. Yeh: Strong Verification of Programs. 339-346

Volume 1, Number 4, December 1975

• 
  Richard E. Fairley: An Experimental Program-Testing Facility. 350-357
• 
  Jan Witt: The COLUMBUS Approach. 358-363
• 
  Marc J. Rochkind: The Source Code Control System. 364-370
• 
  Susan Voigt: Program Design by a Multidisciplinary Team. 370-376
• 
  Stephen R. McCammon: Applied Software Engineering: A Real-Time Simulator Case History. 377-383
• 
  John E. Stockenberg, Andries van Dam: STRUCT Programming Analysis System. 381-389
• 
  Victor R. Basili, Albert J. Turner: Iterative Enhancement: A Practical Technique for Software Development. 390-396
• 
  Carma L. McClure: Top-Down, Bottom-Up, and Structured Programming. 397-403
• 
  C. V. Ramamoorthy, K. H. Kim, W. T. Chen: Optimal Placement of Software Monitors Aiding Systematic Testing. 403-411
• 
  Randall F. Scott, Dick B. Simmons: Predicting Programming Group Productivity - A Communications Model. 411-414
• 
  Howard A. Sholl, Taylor L. Booth: Software Performance Modeling Using Computation Structures. 414-420
• 
  Robert E. Noonan: Structured Programming and Formal Specification. 421-425

last updated on Sat May 25 06:49:59 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page