Volume 2,
Number 1,
March 1976
Programming Methodology
Memory Management
Computer Graphics
Correspondence
- Howard E. Tompkins:
Comments on ``Structured Programming in a Production Programming Environment''.
67
Volume 2,
Number 2,
June 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
Copyright © Fri Nov 27 19:58:44 2009
by Michael Ley (ley@uni-trier.de)