6 | -- | 7 | Joseph E. Urban, David A. Fisher. Guest Editors' Introduction Ada Environments and Tools |
9 | -- | 22 | David C. Luckham, Friedrich W. von Henke. An Overview of Anna, a Specification Language for Ada |
24 | -- | 33 | David S. Rosenblum. A Methodology for the Design of Ada Transformation Tools in a DIANA Environment |
34 | -- | 46 | Theodore P. Baker, Gregory A. Riccardi. Ada Tasking: From semantics to Efficient Implementation |
47 | -- | 57 | David Heimbold, David Luckham. Debugging Ada Tasking Programs |
58 | -- | 71 | Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden. Ada-Based support for programming-in-the-Large |
73 | -- | 79 | Robert V. Rubin, Eric J. Colin, Steven P. Reiss. Think Pad: A Graphical system for Program-ming bY Demonstration |
80 | -- | 85 | Mark Weiser, John D. Gannon, Paul R. McMullin. Comparison of Structural Test Coverage Metrics |