1. Introduction

   • Michael Bauer
   • Gene Hoffnagle
   • Gabriel Silberman

   Introduction Pages: 359 - 361

2. Lightweight Reasoning about Program Correctness

   • Marsha Chechik
   • Wei Ding

   OriginalPaper Pages: 363 - 377

3. A Theory of Object-Oriented Design

   • Amnon H. Eden

   OriginalPaper Pages: 379 - 391

4. Towards Specifying Constraints for Object-Oriented Frameworks

   • Daqing Hou
   • H. James Hoover

   OriginalPaper Pages: 393 - 407

5. Intelligent Search Methods for Software Maintenance

   • Huixiang Liu
   • Timothy C. Lethbridge

   OriginalPaper Pages: 409 - 423