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: IEEE Trans. Software Eng. 2(3): 232(1976)

• Jean-Loup Baer, Gary R. Sager: Dynamic Improvement of Locality in Virtual Memory Systems. 54-62 , correction: IEEE Trans. Software Eng. 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 , ->IEEE Trans. Software Eng. 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 , ->IEEE Trans. Software Eng. 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: IEEE Trans. Software Eng. 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