Volume 14, Number 1, January 1988
Ian F. Akyildiz
: On the Exact and Approximate Throughput Analysis of Closed Queueing Networks with Blocking.
: A Group-Select Operation for Relational Algebra and Implications for Database Machine Design.
Volume 14, Number 2, February 1988
: An Algebra for Data Flow Diagram Process Decomposition.
C. T. Baker
: Effects of Field Service on Software Reliability.
: The Formal Specification of a Small Bookshop Information System.
Volume 14, Number 3, March 1988
, Simon S. Lam
: PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.
Volume 14, Number 4, April 1988
Ian F. Akyildiz
: Mean Value Analysis for Blocking Queueing Networks.
: Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches".
, Du Zhang
: A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.
: Parsing Languages by Pattern Matching.
: Forword to the Special Section on Papers from the 1987 ACM SIMETRICS Conference on Measurement and Modeling of Computer Systems.
Volume 14, Number 5, May 1988
Robert I. Winner
: Naming and Binding in a vertical Migration Environment.
Volume 14, Number 6, June 1988
Patricia A. Oberndorf
: The Common Ada Programming Support Environment (APSE) Interface Set (CAIS).
: An Overview of a Graphical Multilanguage Applications Environment.
K. H. Kim
: Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation.
: Archetype: A Unified Method for the Design and Implementation of Protocol Architectures.
Thomas G. Moher
: PROVIDE: A Process Visualization and Debugging Environment.
Volume 14, Number 7, July 1988
Benjamin W. Wah
: Guest Editor's Introduction The Third International Conference on Data Engineering.
: Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries.
Neil C. Rowe
: Absolute Bounds on Set Intersection and Union Sizes from Distribution Information.
: Reliability of Systems with Markov Transfer of Control.
Volume 14, Number 8, August 1988
John R. North
: Guest Editor's Introduction Selected Papers from COMPSAC '86.
Mostafa A. Bassiouni
: Single-Site and Distributed Optimistic Protocols for Concurrency Control.
: A Distributed Specification Model and Its Prototyping.
: The Tinkertoy Graphical Programming Environment.
Sol M. Shatz
: Towards Complexity Metrics for Ada Tasking.
Stephen J. Hartley
: An Analysis of Some Problems in Managing Virtual Memory Systems with Fast Secondary Storage Devices.
Richard C. Waters
: Program Translation via Abstraction and Reimplementation.
Volume 14, Number 9, September 1988
: PELAS - Program Error-Locating Assistant System.
: Program Readability: Procedures Versus Comments.
Levent V. Orman
: Functional Development of Database Applications.
: A Trace-Driven Simulation Study of Dynamic Load Balancing.
Volume 14, Number 10, October 1988
Connie U. Smith
: Applying Synthesis Principles to Create Responsive Software Systems.
Joep L. W. Kessels
: PHILAN: A LAN Providing a Reliable Message Service for Distributed Processing.
: Reliability of Systems with Markov Transfer of Control, II.
Volume 14, Number 11, November 1988
: Modeling and Analysis of the Behavior of Information Systems.
Stephen J. Hartley
: Compile-Time Program Restructuring in Multiprogrammed Virtual Memory Systems.
Volume 14, Number 12, December 1988