| 614 | -- | 618 | Sushil Jajodia, Peter A. Ng. Representative Instances and gamma-Acyclic Relational Schemes |
| 619 | -- | 628 | Daniel R. Dolk, Benn R. Konsynski. Knowledge Representation for Model Management Systems |
| 628 | -- | 645 | Umeshwar Dayal, Hai-Yann Hwang. View Definition and Generalization for Database Integration in a Multidatabase System |
| 645 | -- | 650 | Rony Attar, Philip A. Bernstein, Nathan Goodman. Site Initialization, Recovery, and Backup in a Distributed Database System |
| 650 | -- | 664 | Carlo Batini, Maurizio Lenzerini. A Methodology for Data Schema Integration in the Entity Relationship Model |
| 664 | -- | 680 | Leszek Lilien, Bharat K. Bhargava. A Scheme for Batch Verification of Integrity Assertions in a Database System |
| 681 | -- | 687 | Michael Hatzopoulos, John G. Kollias. On the Optimal Selection of Multilist Database Structures |
| 687 | -- | 691 | Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood. Criteria for Software Reliability Model Comparisons |
| 692 | -- | 700 | Kang G. Shin, Yann-Hang Lee. Evaluation of Error Recovery Blocks Used for Cooperating Processes |
| 701 | -- | 714 | Jean-Claude Laprie. Dependability Evaluation of Software Systems in Operation |
| 714 | -- | 727 | Carolyn Wong. A Successful Software Development |
| 728 | -- | 738 | Victor R. Basili, David M. Weiss. A Methodology for Collecting Valid Software Engineering Data |
| 738 | -- | 748 | Neil B. Corrigan, J. Denbigh Starkey. A Concurrent General Purpose Operator Interface |
| 748 | -- | 755 | Amram Ben-David, Moshe I. Ben-Porat, Jonah Z. Loeb (Lavi), Michael Rich. An Industrial Software Engineering Retraining Course: Development Considerations and Lessons Learned |
| 756 | -- | 764 | Bernhard Plattner. Real-Time Execution Monitoring |
| 764 | -- | 777 | Steven M. German. Monitoring for Deadlock and Blocking in Ada Tasking |
| 777 | -- | 784 | Udi Manber. Concurrent Maintenance of Binary Search Trees |
| 785 | -- | 794 | David B. Benson. Counting Paths: Nondeterminism as Linear Algebra |
| 795 | -- | 803 | Simeon C. Ntafos. On Required Element Testing |
| 804 | -- | 810 | Mohammad G. Khayat. A Concurrency Measure |
| 810 | -- | 825 | Dennis W. Leinbaugh. Selectors: High-Level Resource Schedulers |
| 825 | -- | 836 | Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami. An Algebraic Specification of HDLC Procedures and Its Verification |
| 837 | -- | 845 | Giuseppe Serazzi, Maria Calzarossa. Adaptive Optimization of a System s Load |
| 846 | -- | 855 | Mohamed G. Gouda. Closed Covers: To Verify Progress for Communicating Finite State Machines |
| 856 | -- | 857 | Hisao Kameda. A Property of Normalization Constants for Closed Queueing Networks |