| 493 | -- | 512 | Yoheved Dotan, Benjamin Arazi. Using Flat Concurrent Prolog in System Modeling |
| 513 | -- | 526 | Fevzi Belli, Karl-Erwin Großpietsch. Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study |
| 527 | -- | 543 | Stanley Lee, Suzanne Sluizer. An Executable Language For Modeling Simple Behavior |
| 544 | -- | 552 | Pai-Cheng Chu. A Contingency Approach to Estimating Record Selectivities |
| 553 | -- | 564 | Roy S. Freedman. Testability of Software Components |
| 582 | -- | 590 | Michiel van Genuchten. Why is Software Late? An Empirical Study of Reasons For Delay in Software Development |
| 591 | -- | 603 | Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi. Test Selection Based on Finite State Models |
| 604 | -- | 625 | Cheng Hsu, M hamed Bouziane, Laurie Rattner, Lester Yee. Information Resources Management in Heterogeneous, Distributed Environments: A Metadatabase Approach |
| 626 | -- | 635 | John R. Callahan, James M. Purtilo. A Packaging System For Heterogeneous Execution Environments |
| 636 | -- | 638 | John C. Cherniavsky, Carl H. Smith. On Weyuker s Axioms For Software Complexity Measures |
| 656 | -- | 581 | Allen S. Parrish, Stuart H. Zweben. Analysis and Refinement of Software Test Data Adequacy Properties |