default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 1
Volume 1, Number 1, March 1975
- Barbara H. 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
- 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
- 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
- Douglas E. Whitten, Paul A. D. de Maine:
A Machine and Configuration Independent Fortran: Portable Fortran (PFortran). 111-124
- Barry W. Boehm, Robert K. McClean, D. B. Urfrig:
Some Experience with Automated Aids to the Design of Large-Scale Reliable Software. 125-133
Volume 1, Number 2, June 1975
- 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
Volume 1, Number 3, September 1975
- 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
Volume 1, Number 4, December 1975
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 20:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
