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