1. Guest Editorial

   • David Budgen

   OriginalPaper Pages: 215 - 215

2. Formal Specifications of User Requirements

   • Robert G. Clark
   • Ana M.D. Moreira

   OriginalPaper Pages: 217 - 232

3. A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation

   • Gerardo Canfora
   • Andrea De lucia
   • Giuseppe A. Di Lucca

   OriginalPaper Pages: 233 - 263

4. Mapping Procedural Patterns to Object-Oriented Design Patterns

   • K. Lano
   • N. Malik

   OriginalPaper Pages: 265 - 289

5. A Comparison of Computer Support Systems for Software Inspection

   • Fraser Macdonald
   • James Miller

   OriginalPaper Pages: 291 - 313

6. Desert Island Column

   • Tim Menzies

   OriginalPaper Pages: 315 - 320