| 101 | -- | 108 | Pasquale Armenise. A Structured Approach to Program Optimization |
| 109 | -- | 119 | Tarek K. Abdel-Hamid. The Dynamics of Software Project Staffing: A System Dynamics Based Simulation Approach |
| 120 | -- | 133 | K. K. Ramakrishnan, Joel S. Emer. Performance Analysis of Mass Storage Service Alternatives for Distributed Systems |
| 134 | -- | 141 | David M. Nicol. Optimal Partitioning of Random Programs Across two Processors |
| 142 | -- | 152 | Bipin C. Desai. Performance of a Composite Attribute and Join Index |
| 153 | -- | 164 | Stefano Ceri, Georg Gottlob, Gio Wiederhold. Efficient Database Access from Prolog |
| 165 | -- | 180 | Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper. Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming |
| 181 | -- | 197 | Jeannette M. Wing, Mark R. Nixon. Extending Ina Jo with Temporal Logic |
| 198 | -- | 208 | Martin S. Feather. Constructing Specifications by Combining Parallel Elaborations |
| 209 | -- | 217 | George Peterka, Tadao Murata. Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs |
| 218 | -- | 221 | David B. Brown, Saeed Maghsoodloo, William H. Deason. A Cost Model for Determining the Optimal Number of Software Test Cases |
| 221 | -- | 229 | David B. Skillicorn, Janice I. Glasgow. Real-Time Specification Using Lucid |