| 63 | -- | 0 | Michael Dyer, Martin J. Shepperd, Claes Wohlin. Editorial |
| 65 | -- | 75 | Jesús Manuel Almendros-Jiménez, Luis González-Jiménez. Bases for the development of LAST: a formal method for business software requirements specification |
| 77 | -- | 90 | Steven M. Schorling, David C. Rine. A methodology for designing toolkits for specification level verification of interval-constrained information systems requirements |
| 91 | -- | 100 | Minghu Jiang, Xiaoyan Zhu, Georges G. E. Gielen, Elliott Drábek, Ying Xia, Gang Tan, Ta Bao. Braille to print translations for Chinese |
| 101 | -- | 112 | Mark d Inverno, Paul Howells, Michael J. Hu, Michael Luck. Soft-link hypertext for information retrieval |
| 113 | -- | 121 | Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno. Non-specification-based approaches to logic testing for software |
| 123 | -- | 132 | G. B. Mund, Rajib Mall, S. Sarkar. An efficient dynamic program slicing technique |