mauney@ncsu.UUCP (Jon Mauney) (12/12/84)
IEEE Transactions on Software Engineering volume SE-10, number 6, November 1984 %A S. Jajodia %A P. A. Ng %T Representative Instances and Gamma-Acyclic Relational Schemes %J IEEE-TSE %V SE-10 %N 6 %P 614-618 %D November 1984 %A D. R. Dolk %A B. R. Konsynski %T Knowledge Representation for Model Management Systems %J IEEE-TSE %V SE-10 %N 6 %P 619-627 %D November 1984 %A U. Dayal %A H.-Y. Hwang %T View Definition and Generalization for Database Integration in a Multidatabase System %J IEEE-TSE %V SE-10 %N 6 %P 628-644 %D November 1984 %A R. Attar %A P. A. Bernstein %A B. Goodman %T Site Initialization, Recovery, and Backup in a Distributed Database System %J IEEE-TSE %V SE-10 %N 6 %P 645-649 %D November 1984 %A C. Batini %A M. Lenzerini %T A Methodology for Data Schema Integration in the Entity Relationship Model %J IEEE-TSE %V SE-10 %N 6 %P 650-663 %D November 1984 %A L. Lilien %A B. Bhargava %T A Scheme for Batch Verification of Integrity Assertions in a Database System %J IEEE-TSE %V SE-10 %N 6 %P 664-680 %D November 1984 %A M. Hatopoulos %A J. G. Kollias %T On the Optimal Selection of Multilist Database Structures %J IEEE-TSE %V SE-10 %N 6 %P 681-686 %D November 1984 %A A. Iannino %A J. D. Musa %A K. Okumoto %A B. Littlewood %T Criteria for Software Reliability Model Comparisons %J IEEE-TSE %V SE-10 %N 6 %P 687-691 %D November 1984 %A K. G. Shin %A Y.-H. Lee %T Evaluation of Error Recovery Blocks Used for Cooperating Processes %J IEEE-TSE %V SE-10 %N 6 %P 692-700 %D November 1984 %A J.-C. Laprie %T Dependability Evaluation of Software Systems in Operation %J IEEE-TSE %V SE-10 %N 6 %P 701-713 %D November 1984 %A C. Wong %T A Successful Software Development %J IEEE-TSE %V SE-10 %N 6 %P 714-727 %D November 1984 %A V. R. Basili %A D. M. Weiss %T A Methodology for Collecting Valid Software Engineering Data %J IEEE-TSE %V SE-10 %N 6 %P 728-737 %D November 1984 %A N. B. Corrigan %A J. D. Starkey %T A Concurrent General Purpose Operator Interface %J IEEE-TSE %V SE-10 %N 6 %P 738-747 %D November 1984 %A A. Ben-David %A M. I. Ben-Porath %A J. Z. Loeb %A M. Rich %T An Industrial Software Engineering Retraining Course: Development Considerations and Lessons Learned %J IEEE-TSE %V SE-10 %N 6 %P 748-755 %D November 1984 %A B. Plattner %T Real-time Execution Monitoring %J IEEE-TSE %V SE-10 %N 6 %P 756-763 %D November 1984 %A S. M. German %T Monitoring for Deadlock and Blocking in Ada Tasking %J IEEE-TSE %V SE-10 %N 6 %P 764-776 %D November 1984 %A U. Manber %T Concurrent Maintenance of Binary Search Trees %J IEEE-TSE %V SE-10 %N 6 %P 777-784 %D November 1984 %A D. B. Benson %T Counting Paths: Nondeterminism as Linear Algebra %J IEEE-TSE %V SE-10 %N 6 %P 785-794 %D November 1984 %A S. C. Ntafos %T On Required Element Testing %J IEEE-TSE %V SE-10 %N 6 %P 795-803 %D November 1984 %A M. G. Khayat %T A Concurrency Measure %J IEEE-TSE %V SE-10 %N 6 %P 804-809 %D November 1984 %A D. W. Leinbaugh %T Selectors: High-Level Resource Schedulers %J IEEE-TSE %V SE-10 %N 6 %P 810-824 %D November 1984 %A T. Higashino %A M. Mori %A Y. Sugiyama %A K. Taniguchi %A T. Kasami %T An Algebraic Specification of HDLC Procedures and Its Verification %J IEEE-TSE %V SE-10 %N 6 %P 825-836 %D November 1984 %A G. Serazzi %A M. Calzarossa %T Adaptive Optimization of a System's Load %J IEEE-TSE %V SE-10 %N 6 %P 837-845 %D November 1984 %A M. G. Gouda %T Closed Covers: ToVerify Progress for Communicating Finite State Machines %J IEEE-TSE %V SE-10 %N 6 %P 846-855 %D November 1984 %A H. Kameda %T A Property of Normalization Constants for Closed Queueing Networks %J IEEE-TSE %V SE-10 %N 6 %P 856-857 %D November 1984 --