Volume 4, Number 1, January 1978
Data Base Engineering
Design of Algorithms
: A Technique of Algorithm Construction on Sequences.
Volume 4, Number 2, March 1978
Terrence W. Pratt
: Control Computations and the Design of Loop Control Structures.
Alan Jay Smith
: A Comparative Study of Set Associative Memory Mapping Algorithms and Their Use for Cache and Main Memory.
Robert A. Ellis
: On the Interactiave Use of a Macroprocessor to Generate Operating System Batch Streams.
Volume 4, Number 3, May 1978
Uno R. Kodres
: Analysis of Real-Time Systems by Data Flowgraphs.
Tsun S. Chow
: Testing Software Design Modeled by Finite-State Machines.
Edward T. Chen
: Program Complexity and Programmer Productivity.
Alan C. Shaw
: Software Descriptions with Flow Expressions.
Harold S. Stone
: Critical Load Factors in Two-Processor Distributed Systems.
Volume 4, Number 4, July 1978
Laszlo A. Belady
: Guest Editorial for the Special Collection from the Third International Conference on Software Engineering.
Richard E. Merwin
: Guest Editorial - Software Management: We Must Find a Way.
Lawrence H. Putnam
: A General Empirical Solution to the Macro Software Sizing and Estimating Problem.
Volume 4, Number 5, September 1978
: An Application of a Method for Analysis of Cyclic Programs.
: Program Optimization Using Invariants.
: An Approach to Formal Definitions and Proofs of Programming Principles.
: Syntactic Error Correction in Programming Languages.
Y. H. Chin
: An Analysis of ``Distributed Free Space'' in an Operating and Data Management Systems Environment.
Volume 4, Number 6, November 1978
Warwick S. Ford
: Implementation of a Generalized Critical Region Construct.
: Some Aspects of the Verification of Loop Computations.