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 BibTeX
• Margaret Hamilton, Saydean Zeldin: Higher Order Software - A Methodology for Defining Software. 9-32 BibTeX
• Jay M. Spitzen: The Specification of Assemblers. 33-40 BibTeX
• Calvin C. Elgot: Structured Programming With and Without GO TO Statements. 41-54 BibTeX , correction: IEEE Trans. Software Eng. 2(3): 232(1976) BibTeX

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

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

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

Volume 2, Number 2, June 1976

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

Volume 2, Number 3, September 1976

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

Volume 2, Number 4, December 1976

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