| 235 | -- | 249 | Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside. Software CAD: A Revolutionary Approach |
| 250 | -- | 263 | Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden. The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process |
| 264 | -- | 270 | Pankaj Jalote. Functional Refinement and Nested Objects for Object-Oriented Design |
| 271 | -- | 280 | Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill. Ada Program Partitioning Language: A Notation for Distributing Ada Programs |
| 281 | -- | 292 | Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan. Translation and Execution of Distributed Ada Programs: Is It Still Ada? |
| 293 | -- | 304 | Anne F. Brindle, Richard N. Taylor, David F. Martin. A Debugger for Ada Tasking |
| 305 | -- | 313 | Michael B. Feldman, Melinda L. Moran. Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs |
| 314 | -- | 326 | Tadao Murata, Boris Shenker, Sol M. Shatz. Detection of Ada Static Deadlocks Using Petri Net Invariants |
| 327 | -- | 334 | Lionel M. Ni, Ching-Farn Eric Wu. Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor Systems |
| 335 | -- | 344 | Robert F. Cmelik, Narain H. Gehani, William D. Roome. Experience with Multiple Processor Versions of Concurrent C |
| 345 | -- | 355 | Yoshihiro Tohma, Kenshin Tokunaga, Shinji Nagase, Yukihisa Murata. Structural Approach to the Estimation of the Number of Residual Software Faults Based on the Hyper-Geometric Distribution |
| 356 | -- | 359 | Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli. Some Consideration on Real-Time Bahavior of Concurrent Programs |
| 360 | -- | 362 | Bo Sanden. The Case for Electric Design of Real-Time Software |