Volume 7, Number 1, January 1981
: A Transformational Derivation of a Parsing Algorithm in a High-Level Language.
Program Analysis and Verification
Peter A. Ng
: Further Analysis of the Entity-Relationship Approach to Database Design.
Volume 7, Number 2, March 1981
: Principles of Program Design Induced from Experience with Small Public Programs.
Hamed A. Ellozy
: The Determination of Loop Invariants for Programs with Arrays.
: Formal Grammar and Human Factors Design of an Interactive Graphics System.
Volume 7, Number 3, May 1981
, King-sun Fu
: Extended K-d Tree Database Organization: A Dynamic Multiattribute Clustering Method.
Raymond M. Bryant
: On Homogeneity and On-Line=Off-Line Behavior in M/G/1 Queueing Systems.
Volume 7, Number 4, July 1981
David E. Peercy
: A Software Maintainability Evaluation Methodology.
: A Mathematical Model for the Comparison of Static and Dynamic Memory Allocation in a Paged System.
Harry G. Perros
: A Symmetrical Exponential Open Queue Network with Blocking and Feedback.
Alan Jay Smith
: Analysis of Long Term File Reference Patterns for Application to File Migration Algorithms.
Volume 7, Number 5, September 1981
, David R. Barstow
: The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis.
Barry W. Boehm
: An Experiment in Small-Scale Application Software Engineering.
: On the Development of Correct Specified Programs.
Volume 7, Number 6, November 1981
Stephen W. Smoliar
: Operational Requirements Accommodation in Distributed System Design.
Shahid H. Bokhari
: A Shortest Tree Algorithm for Optimal Assignments Across Space and Time in a Distributed Processor System.
Robert L. Baber
: A Method for Representing Data Items of Unlimited Length in a Computer Memory.