IEEE Transactions on Software Engineering (TSE), Volume 2

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 update Sat May 18 21:00:18 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page