Volume 3, Number 1, January 1977
Special Collection Requirement Analysis
Douglas T. Ross
: Structured Analysis (SA): A Language for Communicating Ideas.
Mack W. Alford
: A Requirements Engineering Methodology for Real-Time Processing Requirements.
Papers - Analysis of Algorithms
Harold S. Stone
: Multiprocessor Scheduling with the Aid of Network Flow Algorithms.
Alan Jay Smith
: Two Methods for the Efficient Analysis of Memory Address Trace Data.
Volume 3, Number 2, March 1977
Henry F. Ledgard
: Production Systems: A Notation for Defining Syntax and Translation.
: Proving the Correctness of Multiprocess Programs.
J. Mack Adams
: A General, Verifiable Iterative Control Structure.
: Guest Editorial - Data Structures and Pattern Recognition.
Raouf F. H. Farag
: Interactive Pattern Recognition: A System and Data Structure.
Volume 3, Number 3, May 1977
: Constructive Methods in Program Verification.
: Use of Psychological Experimentation as an Aid to Development of a Query Language.
: Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs".
Volume 3, Number 4, July 1977
William E. Howden
: Symbolic Testing and the DISSECT Symbolic Evaluation System.
G. David Ripley
: Program Perspectives: A Relational Representation of Measurement Data.
Petru D. Cernicica
: Evaluation of the Average Access Time for a Digital Cassette Memory System.
Volume 3, Number 5, September 1977
: A Machine Description Facility for Compiler Testing.
: A New Nonlinear Pseudorandom Number Generator.
James L. Elshoff
: The Influence of Structured Programming on PL/I Program Profiles.
Volume 3, Number 6, November 1977
Gary J. Nutt
: A Parallel Processor Operating System Comparison.