1. Introduction to Special Issue

   • Bashar Nuseibeh
   • David F. Redmiles

   OriginalPaper Pages: 99 - 100

2. The Model-Composition Problem in User-Interface Generation

   • R.E. Kurt Stirewalt
   • Spencer Rugaber

   OriginalPaper Pages: 101 - 124

3. A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

   • S. Morasca
   • A. Morzenti
   • P. San Pietro

   OriginalPaper Pages: 125 - 155

4. Explanation-Based Scenario Generation for Reactive System Models

   • Robert J. Hall

   OriginalPaper Pages: 157 - 177

5. Specification-Based Browsing of Software Component Libraries

   • Bernd Fischer

   OriginalPaper Pages: 179 - 200

6. Desert Island Column: Marooned on Mars: Mind-Spinning Books for Software Engineers

   • William J. Clancey

   OriginalPaper Pages: 201 - 205