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
William M. McKeeman: On Preventing Programming Languages from Interfering with Programming. 19-26
Karl E. Hewitt, Brian Cantwell Smith: Towards a Programming Apprentice. 26-45

Software Testing and Validation

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

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

Programming Tools and Standards

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

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

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

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

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

Last update Fri May 25 09:48:32 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page