Volume 10,
Number 1,
January 1984
Performance Analysis
Volume 10,
Number 2,
March 1984
Volume 10,
Number 3,
May 1984
Volume 10,
Number 4,
July 1984
- Simon S. Lam, A. Udaya Shankar:
Protocol Verification via Projections.
325-342
- Narain H. Gehani:
Broadcasting Sequential Processes (BSP).
343-351
- Mark Weiser:
Program Slicing.
352-357
- Andreas Reuter, Horst Kinzinger:
Automatic Design of the Internal Schema for a CODASYL Database System.
358-375
- Willa Kay Wiener-Ehrlich, James R. Hamrick, Vincent F. Rupolo:
Modeling Software Behavior in Terms of a Formal Life Cycle Curve: Implications for Software Maintenance.
376-383
- H. G. Stuebing:
A Software Engineering Environment (SEE) for Weapon System Software.
384-397
- Iris Vessey, Ron Weber:
Research on Structured Programming: An Empiricist's Evaluation.
397-407
- Terry C. Snow:
Use of Software Engineering Practices at a Small MIS Shop.
408-413
- William J. Stewart, Wayne P. Stohs:
Some Equivalence Results for Load-Independent Exponential Queueing Networks.
414-422
- Timo O. Alanko, Hannu Erkiö, Ilkka J. Haikala:
Virtual Memory Behavior of Some Sorting Algorithms.
422-431
- Jacek Jachner, Vinod K. Agarwal:
Data Flow Anomaly Detection.
432-437
- Joe W. Duran, Simeon C. Ntafos:
An Evaluation of Random Testing.
438-444
- Clement H. C. Leung, Qui Hoon Choo:
On the Execution of Large Batch Programs in Unreliable Computing Systems.
444-450
- Ramon F. Sarraga:
Static Data Flow Analysis of PL/I Programs with the PROBE System.
451-459
- John E. Gaffney Jr.:
Estimating the Number of Faults in Code.
459-465 ,
Comments/Corrections: IEEE Trans. Software Eng. 12(4): 584-585(1986)
- William Perrizo:
A Method for Processing Distributed Database Queries.
466-471
Volume 10,
Number 5,
September 1984
Volume 10,
Number 6,
November 1984
- Sushil Jajodia, Peter A. Ng:
Representative Instances and gamma-Acyclic Relational Schemes.
614-618
- Daniel R. Dolk, Benn R. Konsynski:
Knowledge Representation for Model Management Systems.
619-628
- Umeshwar Dayal, Hai-Yann Hwang:
View Definition and Generalization for Database Integration in a Multidatabase System.
628-645
- Rony Attar, Philip A. Bernstein, Nathan Goodman:
Site Initialization, Recovery, and Backup in a Distributed Database System.
645-650
- Carlo Batini, Maurizio Lenzerini:
A Methodology for Data Schema Integration in the Entity Relationship Model.
650-664
- Leszek Lilien, Bharat K. Bhargava:
A Scheme for Batch Verification of Integrity Assertions in a Database System.
664-680
- Michael Hatzopoulos, John G. Kollias:
On the Optimal Selection of Multilist Database Structures.
681-687
- Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood:
Criteria for Software Reliability Model Comparisons.
687-691
- Kang G. Shin, Yann-Hang Lee:
Evaluation of Error Recovery Blocks Used for Cooperating Processes.
692-700
- Jean-Claude Laprie:
Dependability Evaluation of Software Systems in Operation.
701-714
- Carolyn Wong:
A Successful Software Development.
714-727
- Victor R. Basili, David M. Weiss:
A Methodology for Collecting Valid Software Engineering Data.
728-738
- Neil B. Corrigan, J. Denbigh Starkey:
A Concurrent General Purpose Operator Interface.
738-748
- Amram Ben-David, Moshe I. Ben-Porat, Jonah Z. Loeb (Lavi), Michael Rich:
An Industrial Software Engineering Retraining Course: Development Considerations and Lessons Learned.
748-755
- Bernhard Plattner:
Real-Time Execution Monitoring.
756-764
- Steven M. German:
Monitoring for Deadlock and Blocking in Ada Tasking.
764-777
- Udi Manber:
Concurrent Maintenance of Binary Search Trees.
777-784
- David B. Benson:
Counting Paths: Nondeterminism as Linear Algebra.
785-794
- Simeon C. Ntafos:
On Required Element Testing.
795-803
- Mohammad G. Khayat:
A Concurrency Measure.
804-810 ,
Correction: IEEE Trans. Software Eng. 11(8): 822(1985)
- Dennis W. Leinbaugh:
Selectors: High-Level Resource Schedulers.
810-825
- Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami:
An Algebraic Specification of HDLC Procedures and Its Verification.
825-836
- Giuseppe Serazzi, Maria Calzarossa:
Adaptive Optimization of a System's Load.
837-845
- Mohamed G. Gouda:
Closed Covers: To Verify Progress for Communicating Finite State Machines.
846-855
- Hisao Kameda:
A Property of Normalization Constants for Closed Queueing Networks.
856-857
Copyright © Sat Nov 21 01:42:09 2009
by Michael Ley (ley@uni-trier.de)
