Abstract is missing.
- Feature Interactions in the Global Information Infrastructure (Panel)Alfred V. Aho, Nancy D. Griffeth. 2-4 [doi]
- Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel)David Garlan. 5 [doi]
- Specification Matching of Software ComponentsAmy Moormann Zaremski, Jeannette M. Wing. 6-17 [doi]
- Software Reflexion Models: Bridging the Gap Between Source and High-Level ModelsGail C. Murphy, David Notkin, Kevin J. Sullivan. 18-28 [doi]
- Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic InformationRajiv Gupta, Mary Lou Soffa. 29-40 [doi]
- Precise Interprocedural ChoppingThomas W. Reps, Genevieve Rosay. 41-52 [doi]
- State Abstraction and Modular Software DevelopmentDaniel Hoffman, Paul A. Strooper. 53-61 [doi]
- Liveness Conditions in Model-Based Service Specifications: A Case StudyAlan Fekete. 62-71 [doi]
- Interconnecting Formalisms: Supporting Modularity, Reuse and IncrementalityJosé Luiz Fiadeiro, T. S. E. Maibaum. 72-80 [doi]
- Using the Consequence of Failures for Testing and Reliability AssessmentElaine J. Weyuker. 81-91 [doi]
- An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software DevelopmentAdam A. Porter, Harvey P. Siy, Carol A. Toman, Lawrence G. Votta. 92-103 [doi]
- Demand Interprocedural Dataflow AnalysisSusan Horwitz, Thomas W. Reps, Shmuel Sagiv. 104-115 [doi]
- Lightweight Source Model ExtractionGail C. Murphy, David Notkin. 116-127 [doi]
- Model Checking Software Systems: A Case StudyJeannette M. Wing, Mandana Vaziri. 128-139 [doi]
- Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified ConstraintsShing-Chi Cheung, Jeff Kramer. 140-150 [doi]
- A Unified Version Model for Configuration ManagementAndreas Zeller. 151-160 [doi]
- Formalization and Application of a Unifying Model for Name ManagementAlan Kaplan, Jack C. Wileden. 161-172 [doi]