Volume 6, Number 1, January 1980
Kathryn L. Heninger
: Specifying Software Requirements for Complex Systems: New Techniques and Their Application.
David R. Musser
: Abstract Data Type Specification in the AFFIRM System.
Sanat K. Basu
: A Note on Synthesis of Inductive Assertions.
: ADI: Automatic Derivation of Invariants.
Volume 6, Number 2, March 1980
Leland L. Beck
: A Generalized Implementation Method for Relational Data Sublanguages.
Sanat K. Basu
: On Development of Iterative Programs from Function Specifications.
David L. Russell
: State Restoration in Systems of Communicating Processes.
Volume 6, Number 3, May 1980
F. N. Parr
: An Alternative to the Rayleigh Curve Model for Software Development Effort.
David B. Lomet
: Subsystems of Processes with Deadlock Avoidance.
Volume 6, Number 4, July 1980
: A Fast Transaction-Oriented Logging Scheme for UNDO Recovery.
W. Terry Hardgrave
: Ambiguity in Processing Boolean Queries on TDMS Tree Structures: A Study of Four Different Philosophies.
Volume 6, Number 5, September 1980
: The Design of a Cryptopgraphy Based Secure File System.
James C. King
: Program Correctness: On Inductive Assertion Methods.
J. C. Huang
: A New Verification Rule and Its Applications.
: Theories of Software Reliability: How Good Are They and How Can They Be Improved?
Amrit L. Goel
: A Summary of the Discussion on ``An Analysis of Competing Software Reliability Models''.
Volume 6, Number 6, November 1980
: Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance.
: Program Testing Complexity and Test Criteria.
: Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems.
Robert P. Cook
: *MOD - A Language for Distributed Programming.