| 506 | -- | 525 | Shi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu. A Visual Language Compiler |
| 526 | -- | 531 | Pankaj Jalote. Testing the Completeness of Specifications |
| 532 | -- | 542 | Brent Hailpern, Tien Huynh, György E. Révész. Comparing Two Functional Programming Systems |
| 543 | -- | 549 | Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller. A Software Science Model of Compile Time |
| 550 | -- | 559 | Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet. Mathematical Principles for a First Course in Software Engineering |
| 560 | -- | 568 | R. T. Jacob, Ivor P. Page. Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores |
| 569 | -- | 574 | Patrick M. Lenders. Distributed Computing with Single Read-Single Write Variables |
| 575 | -- | 586 | Wo-Shun Luk, Franky Ling. An Analytic/Empirical Study of Distributed Sorting on a Local Area Network |
| 587 | -- | 599 | Zhiwei Xu, Kai Hwang. Molecule: A Language Construct for Layered Development of Parallel Programs |
| 600 | -- | 610 | Sakti P. Ghosh. Numerical Operations on a Relational Database |
| 611 | -- | 621 | Geoff Barrett. Formal Methods Applied to a Floating-Point Number System |
| 622 | -- | 631 | Jean-Loup Baer, Yi-Bing Lin. Improving Quicksort Performance with a Codewort Data Structure |
| 632 | -- | 638 | Donald A. Varvel, Leonard D. Shapiro. The Computational Completeness of Extended Database Query Languages |
| 639 | -- | 644 | K. B. Lakshmanan, Krishnaiyan Thulasiraman, M. A. Comeau. An Efficient Distributed Protocol for Finding Shortest Paths in Networks with Negative Weights |
| 644 | -- | 649 | Israel Cidon. An Efficient Distributed Knot Detection Algorithm |
| 649 | -- | 653 | Randy K. Lind, K. Vairavan. An Experimental Investigation of Software Metrics and Their Relationship to Software Development Effort |
| 654 | -- | 658 | Luigi Ciminiera, Adriano Valenzano. Authentication Mechanisms in Microprocessor-Based Local Area Networks |
| 658 | -- | 660 | Jie Wu, Eduardo B. Fernández. A Simplification of a Conversation Design Scheme Using Petri Nets |