Volume 6, Number 1, January 1980 Methodology
export record as
dblp key:
Kathryn L. Heninger :
Specifying Software Requirements for Complex Systems: New Techniques and Their Application.
2-13
export record as
dblp key:
export record as
dblp key:
David R. Musser :
Abstract Data Type Specification in the AFFIRM System.
24-32
export record as
dblp key:
Sanat K. Basu :
A Note on Synthesis of Inductive Assertions.
32-39
export record as
dblp key:
Moshe Tamir :
ADI: Automatic Derivation of Invariants.
40-48
Language
export record as
dblp key:
export record as
dblp key:
Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tse/BanerjeeHN80
Volume 6, Number 2, March 1980
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Leland L. Beck :
A Generalized Implementation Method for Relational Data Sublanguages.
152-162
export record as
dblp key:
export record as
dblp key:
Sanat K. Basu :
On Development of Iterative Programs from Function Specifications.
170-182
export record as
dblp key:
David L. Russell :
State Restoration in Systems of Communicating Processes.
183-194
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tse/KritzingerKT80 export record as
dblp key:
Volume 6, Number 3, May 1980
export record as
dblp key:
journals/tse/Chandrasekaran80 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tse/WoodwardHH80 export record as
dblp key:
export record as
dblp key:
F. N. Parr :
An Alternative to the Rayleigh Curve Model for Software Development Effort.
291-296
export record as
dblp key:
David B. Lomet :
Subsystems of Processes with Deadlock Avoidance.
297-304
export record as
dblp key:
Volume 6, Number 4, July 1980
export record as
dblp key:
export record as
dblp key:
journals/tse/CelentanoVGM80 export record as
dblp key:
export record as
dblp key:
journals/tse/TavernierN80 export record as
dblp key:
export record as
dblp key:
Andreas Reuter :
A Fast Transaction-Oriented Logging Scheme for UNDO Recovery.
348-356
export record as
dblp key:
W. Terry Hardgrave :
Ambiguity in Processing Boolean Queries on TDMS Tree Structures: A Study of Four Different Philosophies.
357-372
export record as
dblp key:
journals/tse/LabetoulleP80 export record as
dblp key:
journals/tse/KritzingerKT80a export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 6, Number 5, September 1980
export record as
dblp key:
export record as
dblp key:
Ehud Gudes :
The Design of a Cryptopgraphy Based Secure File System.
411-420
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tse/RamamoorthyH80 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
James C. King :
Program Correctness: On Inductive Assertion Methods.
465-479
export record as
dblp key:
J. C. Huang :
A New Verification Rule and Its Applications.
480-484
export record as
dblp key:
export record as
dblp key:
journals/tse/Littlewood80 Bev Littlewood :
Theories of Software Reliability: How Good Are They and How Can They Be Improved?
489-500
export record as
dblp key:
Amrit L. Goel :
A Summary of the Discussion on ``An Analysis of Competing Software Reliability Models''.
501-502
Volume 6, Number 6, November 1980
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tadao Murata :
Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance.
525-530
export record as
dblp key:
Kuo-Chung Tai :
Program Testing Complexity and Test Criteria.
531-538
export record as
dblp key:
Klaus Voss :
Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems.
539-544
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Robert P. Cook :
*MOD - A Language for Distributed Programming.
563-571
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
