16 | -- | 30 | Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave. An Invitation to Formal Methods |
33 | -- | 43 | Thomas Ball, Stephen G. Eick. Software Visualization in the Large |
44 | -- | 53 | Ranga Vemuri, Ram Manday, Vijay Meduri. Performance Modeling Using PDL |
55 | -- | 62 | Fritz H. Grupe. Computoons: The Evolving Image of Computers in Cartoons |
64 | -- | 70 | Ted G. Lewis. The Next 10000_2 Years: Part I |
71 | -- | 73 | Ware Myers. On the Read to the Information Superhighway (Conference Report: COMPCON 96) |