Volume 13, Number 1, January 1987
Phillip B. Gibbons
: A Stub Generator for Multilanguage RPC in Heterogeneous Environments.
Michael L. Scott
: Language Support for Loosely Coupled Distributed Programs.
Volume 13, Number 2, February 1987
Daniel M. Berry
: Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language.
Dan M. Nessett
: Factors Affecting Distributed System Security.
Volume 13, Number 3, March 1987
H. Dieter Rombach
: A Controlled Experiment on the Impact of Software Structure on Maintainability.
Yogen K. Dalal
: A Distributed Algorithm for Constructing Minimal Spanning Trees.
Volume 13, Number 4, April 1987
Bruce I. Blum
: A Paradigm for Developing Information Systems.
Frank G. Pagan
: Program Structure Charts for Applicative Languages.
Volume 13, Number 5, May 1987
: Test Data Selection and Quality Estimation Based on the Concept of Esssential Branches for Path Testing.
: New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets.
Volume 13, Number 6, June 1987
Gerard J. Holzmann
: Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching.
Michael J. Carey
: Improving the Performance of an Optimistic Concurrency Control Algorithm Through Timestamps and Versions.
Volume 13, Number 7, July 1987
: Superviews: Virtual Integration of Multiple Databases.
: A Conceptual Analysis of the Draco Approach to Constructing Software Systems.
D. Ross Jeffery
: Time-Sensitive Cost Models in the Commercial MIS Environment.
Volume 13, Number 8, August 1987
Rita C. Summers
: A Resource Sharing System for Personal Computers in a LAN: Concepts, Design, and Experience.
Volume 13, Number 9, September 1987
Sam Yuan Sung
: Performance Analysis of Disk Modulo Allocation Method for Cartesian Product Files.
: An Extension of "Representative Instances and gamma-Acyclic Relational Schemes".
Volume 13, Number 10, October 1987
Tony T. Lee
: An Information-Theoretic Analysis of Relational Databases - Part I: Data Dependencies and Information Metric.
Tony T. Lee
: An Information-Theoretic Analysis of Relational Databases - Part II: Information Structures of Database Schemas.
Hemant K. Jain
: A Comprehensive Model for the Design of Distributed Computer Systems.
Volume 13, Number 11, November 1987
: Essential Elements of Software Engineering Education Revisited.
Mark A. Ardis
: The Evolution of Wang Institute's Master of Software Engineering Program.
Volume 13, Number 12, December 1987
Veljko M. Milutinovic
: A Simulation Study of the Vertical-Migration Microprocessor Architecture.
, V. Rajaraman
: An Algorithm to Decide Feasibility of Linear Integer Constraints Occurring in Decision Tables.
Norman Y. Foo
: Algebraic Specifications as Solutions of Implementation Equations.