| Invited Papers |
| Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck |
| Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker |
| Software Components |
| A Component and Communication Model for Push Systems / Manfred Hauswirth ; Mehdi Jazayeri |
| A Fine-Grained Model for Code Mobility / Cecilia Mascolo ; Gian Pietro Picco ; Gruia-Catalin Roman |
| Robots: A Real-Time Systems Architectural Style / Vered Gafni |
| Software Process |
| Collaboration and Composition: Issues for a Second Generation Process Language / Brian C. Warboys ; Dharini Balasubramaniam ; R. Mark Greenwood ; Graham N.C. Kirby ; Ken Mayes ; Ron Morrison ; Dave S. Munro |
| Using UML for Software Process Modeling / Dirk Jäger ; Ansgar Schleicher ; Bernhard Westfechtel |
| A Probabilistic Model for Software Projects / Frank Padberg |
| Specification |
| Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future / Nancy G. Leveson ; Mats P.E. Heimdahl ; Jon Damon Reese |
| Using Model Checking to Generate Tests from Requirements Specifications / Angelo Gargantini ; Constance Heitmeyer |
| Specification-Based Prototyping for Embedded Systems / Jeffrey M. Thompson ; Steven P. Miller |
| Program Analysis |
| Coping with Type Casts in C / Michael Siff ; Satish Chandra ; Thomas Ball ; Krishna Kunchithapadam ; Thomas Reps |
| Efficient Points-to Analysis for Whole-Program Analysis / Donglin Liang ; Mary Jean Harrold |
| The Concept of Dynamic Analysis |
| Data-Flow Analysis of Program Fragments / Atanas Rountev ; Barbara G. Ryder ; William Landi |
| Testing and Debugging |
| Yesterday, My Program Worked. Today, It Does Not. Why? / Andreas Zeller |
| Comparison Checking: An Approach to Avoid Debugging of Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa |
| Structural Specification-Based Testing: Automated Support and Experimental Evaluation / Juei Chang ; Debra J. Richardson |
| An Efficient Relevant Slicing Method for Debugging / Tibor Gyimóthy ; Ãrpád Beszédes ; István Forgács |
| Java |
| Analyzing Exception Flow in JavaÖ Programs / Martin P. Robillard ; Gail C. Murphy |
| An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs / Gleb Naumovich ; George S. Avrunin ; Lori A. Clarke |
| CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java / Boris Bokowski |
| Architecture and Models |
| The CIP Method: Component- and Model-Based Construction of Embedded Systems / Hugo Fierz |
| Algebraic Software Architecture Reconfiguration / Michel Wermelinger ; José Luiz Fiadeiro |
| Consistency Checking for Multiple View Software Architectures / Pascal Fradet ; Daniel Le Métayer ; Michaël Périn |
| Reuse |
| Synergy between Component-Based and Generative Approaches / Stan Jarzabek ; Peter Knauber |
| Transitioning Legacy Assets to a Product Line Architecture / Joachim Bayer ; Jean-François Girard ; Martin Würthner ; Jean-Marc DeBaud ; Martin Apel |
| CHIME: A Metadata-Based Distributed Software Development Environment / Stephen E. Dossick ; Gail E. Kaiser |
| Verification and Checking |
| FACADE: A Typed Intermediate Language Dedicated to Smart Cards / Gilles Grimaud ; Jean-Louis Lanet ; Jean-Jacques Vandewalle |
| Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification / Victor A. Braberman ; Miguel Felder |
| Checking Progress with Action Priority: Is it Fair? / Dimitra Giannakopoulou ; Jeff Magee ; Jeff Kramer |
| Author Index |
| Invited Papers |
| Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck |
| Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker |
| Software Components |
| A Component and Communication Model for Push Systems / Manfred Hauswirth ; Mehdi Jazayeri |
| A Fine-Grained Model for Code Mobility / Cecilia Mascolo ; Gian Pietro Picco ; Gruia-Catalin Roman |
