IEEE Transactions on Software Engineering (TSE), Volume 1

Volume 1, Number 1, March 1975

Programming Methodology

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

Software Testing and Validation

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

Performance and Design Evaluations

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 BibTeX

Programming Tools and Standards

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

Software Project Management

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

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

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

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