Volume 12, Number 1, January 1986
Douglas R. Miller
: Exponential Order Statistic Models of Software Reliability Growth.
: Software Reliability Modeling and Analysis.
Janet R. Dunham
: Experiments in Software Reliability: Life-Critical Applications.
Ian J. Hayes
: Specification Directed Module Testing.
Zavid L. Lichtman
: Generation and Consistency Checking of Design and Program Structures.
Volume 12, Number 2, February 1986
Paul T. Ward
: The Transformation Schema: An Extension of te Data Flow Diagram to Represent Control and Timing.
Peter B. Henderson
: Functional Programming, Formal Specification, and Rapid Prototyping.
Leon S. Levy
: A Metaprogramming Method and Its Economic Justification.
Volume 12, Number 3, March 1986
Gary D. Kimura
: A Structure Editor for Abstract Document Objects.
Mukul K. Sinha
: Commutable Transactions and the Time_pad Synchronization Mechanism for Distributed Systems.
Lionel M. Ni
, Kai Hwang
: Correction to "Optimal Load Balancing in a Multiple Processor System with Many Job Classes".
Volume 12, Number 4, April 1986
: A Decomposition Solution to a Queueing Network Model of a Distributed File System with Dynamic Locking.
: A Distributed Scheme for Detecting Communication Deadlocks.
: Comments on "Estimating the Number of Faults in Code" and Two Corrections to Published Data.
Volume 12, Number 5, May 1986
Volume 12, Number 6, June 1986
: Considerations in the Insularity of Performance Evaluation.
: An Approach to Decentralized Computer Systems.
Volume 12, Number 7, July 1986
Volume 12, Number 8, August 1986
Volume 12, Number 9, September 1986
Peter G. Neumann
: On Hierarchical Design of Computer Systems for Critical Applications.
, Yves Romain
: A Statistical Methodology for the Study of the Software Failure Process and Its Application to the ARGOS Center.
: Extensions to an Approach to the Modeling of Software Testing with Some Performance Comparisons.
Volume 12, Number 10, October 1986
Donald F. Towsley
: Allocating Programs Containing Branches and Loops Within a Multiple Processor System.
C. Murray Woodside
: Controllability of Computer Performance Tradeoffs Obtained Using Controlled-Share Queue Schedulers.
Volume 12, Number 11, November 1986
: The Gains from Computer Communication.
: On the Projection Method for Protocol Verification.
: The Call-Return Tree and Its Application to Program Performance Analysis.
Volume 12, Number 12, December 1986
Sakti P. Ghosh
: Statistical Relational Tables for Statistical Database Management.
: Comments on "Number of Faults per Line of Code".