Volume 16, Number 1, January 1990
Laura K. Dillon
: Verifying General Safety Properties of Ada Tasking Programs.
Ronald C. de Vries
: Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method.
Surya B. Yadav
: Control and Definition Modularization: An Improved Software Design Technique for Organizing Programs.
Volume 16, Number 2, February 1990
Ytzhak H. Levendel
: Reliability Analysis of Large Software Systems: Defect Data Modeling.
Volume 16, Number 3, March 1990
, David Lorge Parnas
: Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations.
: Comments on ``On the Projection Method for Protocol Verification''.
Volume 16, Number 4, April 1990
Judy M. Bishop
: The Effect of Data Abstraction on Loop Programming Techniques.
: Comments on "Allocating Programs Containing Branches and Loops Within a Multiple Processor System".
Donald F. Towsley
: Correction to "Allocating Programs Containing Branches and Loops Within a Multiple Processor System".
Volume 16, Number 5, May 1990
Gerald M. Karam
: Computational Improvements in Prolog Applications by Predicate Variable Pointers.
James K. Mullin
: Optimal Semijoins for Distributed Database Systems.
Volume 16, Number 6, June 1990
Volume 16, Number 7, July 1990
Volume 16, Number 8, August 1990
: Automated Software Test Data Generation.
J. C. Huang
: State Constraints and Pathwise Decomposition of Programs.
: A Graph Model for Software Evolution.
Volume 16, Number 9, September 1990
Nancy G. Leveson
: Guest Editor's Introduction Formal Methods in Software Engineering.
Andrew P. Moore
: The Specification and Verified Decomposition of System Requirements Using CSP.
, Lori A. Clarke
: A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance.
David M. Goldschlag
: Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.
Volume 16, Number 10, October 1990
: A Visual Language Compiler for Information Retrieval by Visual Reasoning.
Volume 16, Number 11, November 1990
: Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.
Valmir C. Barbosa
: Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs.
Volume 16, Number 12, December 1990
: Update Transport: A New Technique for Update Synchronization in Replicated Database Systems.
, Kang G. Shin
: Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times.
Mayez A. Al-Mouhamed
: Lower Bound on the Number of Processors and Time for Scheduling Precedence Graphs with Communication Costs.
Gerald M. Karam
: Comments on ``Measurement of Ada Overhead in OSI-Style Communications Systems''.