Volume 2, Number 1, March 1976

• 
  David Lorge Parnas: On the Design and Development of Program Families. 1-9
• 
  Margaret Hamilton, Saydean Zeldin: Higher Order Software - A Methodology for Defining Software. 9-32
• 
  Jay M. Spitzen: The Specification of Assemblers. 33-40
• 
  Calvin C. Elgot: Structured Programming With and Without GO TO Statements. 41-54, (correction: TSE 2(3): 232 (1976))

• 
  Jean-Loup Baer, Gary R. Sager: Dynamic Improvement of Locality in Virtual Memory Systems. 54-62, (correction: TSE 2(2): 137 (1976))

• 
  Robin Williams, Gary M. Giddings: A Picture-Building System. 62-66

• 
  Howard E. Tompkins: Comments on ``Structured Programming in a Production Programming Environment''. 67

Volume 2, Number 2, June 1976

• 
  Ben Wegbreit: Goal-Directed Program Transformation. 69-80
• 
  Frank DeRemer, Hans H. Kron: Programming-in-the-Large Versus Programming-in-the-Small. 80-86
• 
  Alexander Birman, William H. Joyner Jr.: A Problem-Reduction Approach to Proving Simulation Between Programs. 87-96
• 
  Sakti P. Ghosh, William G. Tuel Jr.: A Design of an Experiment to Model Data Base System Performance. 97-106
• 
  Sakti P. Ghosh: Distributing a Data Base with Logical Associations on a Computer Network for Parallel Searching. 106-113
• 
  James L. Elshoff: An Analysis of Some Commercial PL/I Programs. 113-120
• 
  Andrew S. Tanenbaum: A General-Purpose Macro Processor as a Poor Man's Compiler-Compiler. 121-125
• 
  Yaohan Chu, E. Raymond Cannon: Interactive High-Level Language Direkt-Execution Microprocessor System. 126-134
• 
  David B. Wortman: A Study of High-Resolution Timing. 135-137
• 
  Jean-Loup Baer, Gary R. Sager: Correction to "Dynamic Improvement of Locality in Virtual Memory Systems". 137, (see: TSE 2(1): 54-62 (1976))

Volume 2, Number 3, September 1976

• 
  Alan W. Biermann, Ramachandran Krishnaswamy: Constructing Programs from Example Computations. 141-153
• 
  Anthony Ralston, Jerrold L. Wagener: Structured Fortran - An Evolution of Standard Fortran. 154-176
• 
  Lawrence L. Rose, Herbert Hellerman: Portable Character Processing in Fortran and Fixed Integer Environments. 176-185
• 
  Richard C. T. Lee, Y. H. Chin, S. C. Chang: Application of Principal Component Analysis to Multikey Searching. 185-193
• 
  Leon G. Stucki: Guest Editorial - A Case for Software Testing. 194
• 
  Susan L. Gerhart, Lawrence Yelowitz: Observations of Fallibility in Applications of Modern Programming Methodologies. 195-207
• 
  William E. Howden: Reliability of the Path Analysis Testing Strategy. 208-215
• 
  Lori A. Clarke: A System to Generate Test Data and Symbolically Execute Programs. 215-222
• 
  Webb Miller, David L. Spooner: Automatic Generation of Floating-Point Test Data. 223-226
• 
  Harold N. Gabow, Shachindra N. Maheswari, Leon J. Osterweil: On Two Problems in the Generation of Program Test Paths. 227-231
• 
  Calvin C. Elgot: Erratum and Corrigendum for "Structured Programming With and Without GO TO Statments". 232, (see: TSE 2(1): 41-54 (1976))

Volume 2, Number 4, December 1976

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

last updated on Fri May 24 06:43:08 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page