| 194 | -- | 198 | Clark Nicol, Malcolm K. Crowe, Martin E. Corr, John W. Oram, David G. Jenkins. IDEA - an incremental development environment for Ada |
| 199 | -- | 204 | Ronald Morrison, Alfred L. Brown, Raymund Carrick, Richard C. H. Connor, Alan Dearle, Malcolm P. Atkinson. Polymorphism, persistence and software re-use in a strongly typed object-oriented environment |
| 205 | -- | 212 | S. Ayandeh, E. L. Morris. Pascal, modula-2 and multi-tasking kernel implementation |
| 213 | -- | 219 | G. V. Collis, E. J. Kappos. Occam as a hardware description language |
| 477 | -- | 499 | Ãdám Darvas, Peter Müller. Faithful mapping of model classes to mathematical structures |
| 500 | -- | 514 | Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko. Verification of class liveness properties with java modelling language |
| 515 | -- | 531 | Patrice Chalin, Perry R. James, Frédéric Rioux. Reducing the use of nullable types through non-null by default and monotonic non-null |
| 532 | -- | 546 | PavlÃna Vareková, Barbora Zimmerova, Pavel Moravec 0002, Ivana Cerná. Formal verification of systems with an unlimited number of components |
| 547 | -- | 562 | Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell. Assume-guarantee testing for software components |