| 853 | -- | 871 | Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani. Semi-Automatic Program Construction From Specifications Using Library Modules |
| 872 | -- | 883 | Dong-Guk Shin, Keki B. Irani. Fragmenting Relations Horizontally Using a Knowledge-Based Approach |
| 884 | -- | 899 | Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli. Software Specialization Via Symbolic Execution |
| 900 | -- | 910 | Richard A. DeMillo, A. Jefferson Offutt. Constraint-Based Automatic Test Data Generation |
| 911 | -- | 921 | Mohamed G. Gouda, Ted Herman. Adaptive Programming |
| 922 | -- | 933 | C. Gary Rommel. The Probability of Load Balancing Success in a Homogeneous Network |
| 934 | -- | 943 | Daniel Hoffman, Paul A. Strooper. Automated Module Testing in Prolog |
| 944 | -- | 953 | Ouri Wolfson, Soumitra Sengupta, Yechiam Yemini. Managing Communication Networks by Monitoring Databases |
| 954 | -- | 960 | Yuri Breitbart, Dimitrios Georgakopoulos, Marek Rusinkiewicz, Abraham Silberschatz. On Rigorous Transaction Scheduling |
| 961 | -- | 971 | Sergio Cárdenas-García, Marvin V. Zelkowitz. A Management Tool For Evaluation of Software Designs |
| 972 | -- | 975 | Michael D. Vose. A Linear Algorithm For Generating Random Numbers With a Given Distribution |
| 976 | -- | 978 | Sylvia C. Boyd, Hasan Ural. On the Complexity of Generating Optimal Test Sequences |
| 979 | -- | 982 | Goetz Graefe. Heap-Filter Merge Join: A New Algorithm For Joining Medium-Size Inputs |