Volume 8,
Number 1,
January 1982
Programming Methodology
- Richard C. Waters:
The Programmer's Apprentice: Knowledge Based Programm Editing.
1-12
- Abha Moitra:
Direct Implementation of Algebraic Specification of Abstract Data Types.
12-20
- Jerald Schwarz:
Using Annotations to Make Recursion Equations Behave.
21-33
Testing und Verification
Performance Analysis
Volume 8,
Number 2,
February 1982
Volume 8,
Number 3,
May 1982
- Bharat K. Bhargava:
Guest Editorial: Reliability Issues in Distributed Systems.
165-167
- Daniel R. Ries, Gordon C. Smith:
Nested Transactions in Distributed Systems.
167-172
- Toshimi Minoura, Gio Wiederhold:
Resilient Extended True-Copy Token Scheme for a Distributed Database System.
173-189
- K. H. Kim:
Approaches to Mechanization of the Conversation Scheme Based on Monitors.
189-197
- Michael J. Fischer, Nancy D. Griffeth, Nancy A. Lynch:
Global States of a Distributed System.
198-202
- Barbara Liskov:
On Linguistic Support for Distributed Programs.
203-210
- Yat-Sang Kwong, Derick Wood:
A New Method for Concurrency in B-Trees.
211-222
- Gultekin Özsoyoglu, Francis Y. L. Chin:
Enhancing the Security of Statistical Databases with a Question-Answering System and a Kernel Design.
223-234
- Chin-Chen Chang, Richard C. T. Lee, M. W. Du:
Symbolic Gray Code as a Perfect Multiattribute Hashing Scheme for Partial Match Queries.
235-249
- Pamela Zave:
An Operational Approach to Requirements Specification for Embedded Systems.
250-269
- Victor R. Basili, Harlan D. Mills:
Understanding and Documenting Programs.
270-283
- James L. Reuss:
Macro Implementation of a Structured Assembly Language.
284-287
- Nissim Francez, Michael Rodeh:
Achieving Distributed Termination without Freezing.
287-292
Volume 8,
Number 4,
July 1982
- Simonetta Balsamo, Giuseppe Iazeolla:
An Extension of Nortons's Theorem for Queueing Networks.
298-305
- John A. Stankovic:
Good System Structure Features: Their Complexity and Execution Time Cost.
306-318
- Leah J. Siegel, Howard Jay Siegel, Philip H. Swain:
Performance Measures for Evaluating Algorithms for SIMD Machines.
319-331
- Mamoru Maekawa, Yojiro Morimoto:
Performance Adjustment of an APL Interpreter.
331-343
- Franco Bazzichi, Ippolito Spadafora:
An Automatic Generator for Compiler Testing.
343-353
- C. V. Ramamoorthy, Farokh B. Bastani:
Software Reliability - Status and Perspectives.
354-371
- William E. Howden:
Weak Mutation Testing and Completeness of Test Sets.
371-379
- Lori A. Clarke, Johnette Hassell, Debra J. Richardson:
A Close Look at Domain Testing.
380-390
- Ernest J. H. Chang:
Echo Algorithms: Depth Parallel Operations on General Graphs.
391-401
- Timothy C. K. Chou, Jacob A. Abraham:
Load Balancing in Distributed Systems.
401-412
- T. C. Wesselkamper:
Computer Program Schemata and the Processes They Generate.
412-419
- Michel Dubois, Faye A. Briggs:
Performance of Synchronized Iterative Processes in Multiprocessor Systems.
419-431
- Franklin L. Vermeulen:
On the Combined Problem of Compaction and Sorting.
432-435
- John Kontos, George K. Papakonstantinou:
The Interpretation of Meta Grammars Describing Syntax-Directed Interpreters Using an Attribute Grammar Interpreter.
435-436
- M. Lipow:
Number of Faults per Line of Code.
437-439
- Georges Gardarin, Michel A. Melkanoff:
Proving Consistency of Database Transactions Written in Extended Pascal.
440-446
- Glenn H. MacEwen:
Correction to "Information Flow Certification Using an Intermediate Code Programm Representation".
446 ,
->IEEE Trans. Software Eng. 7(6): 594-607(1981)
Volume 8,
Number 5,
September 1982
Volume 8,
Number 6,
November 1982
- Haran Boral, David J. DeWitt, Dina Friedland, Nancy F. Jarrell, W. Kevin Wilkinson:
Implementation of the Database Machine DIRECT.
533-543
- S. Bing Yao, Vance E. Waddle, Barron C. Housel:
View Modeling and Integration Using the Functional Data Model.
544-553
- Gary S. Ho, C. V. Ramamoorthy:
Protocols for Deadlock Detection in Distributed Database Systems.
554-557 ,
Comment: IEEE Trans. Software Eng. 9(3): 371(1983)
- Abraham Silberschatz, Zvi M. Kedem:
A Family of Locking Protocols for Database Systems that Are Modeled by Directed Graphs.
558-562
- Nick Roussopoulos:
The Logical Access Path Schema of a Database.
563-573
- Francis Y. L. Chin, Gultekin Özsoyoglu:
Auditing and Inference Control in Statistical Databases.
574-582
- Yang-Chang Hong, Stanley Y. W. Su:
A Mechanism for Database Protection in Cellular-Logic Devices.
583-596
- Abe Lockman, Naftaly H. Minsky:
Unidirectional Transport of Rights and Take-Grant Control.
597-604
- Narain H. Gehani:
Databases and Units of Measure.
605-611
- Haim Mendelson:
Analysis of Extendible Hashing.
611-619
- R. Nigel Horspool, Eric C. R. Hehner:
Comments on "A Method for Representing Data Items of Unlimites Length in a Computer Memory".
620-621 ,
->IEEE Trans. Software Eng. 7(6): 590-593(1981)
Copyright © Mon Mar 15 04:08:10 2010
by Michael Ley (ley@uni-trier.de)
