Front matter
1
Extreme Programming: A Discipline of Software Development
Kent Beck
2-19
Components and Generative Programming
Krzysztof Czarnecki and Ulrich W. Eisenecker
20-38
A Component and Communication Model for Push Systems
Manfred Hauswirth and Mehdi Jazayeri
39-56
A Fine-Grained Model for Code Mobility
Cecilia Mascolo, Gian Pietro Picco and Gruia-Catalin Roman
57-74
Robots: A Real-Time Systems Architectural Style
Vered Gafni
75-90
Collaboration and Composition: Issues for a Second Generation Process Language
B. C. Warboys, D. Balasubramaniam, R. M. Greenwood, G. N. C. Kirby and K. Mayes, et al.
91-108
Using UML for Software Process Modeling
Dirk Jäger, Ansgar Schleicher and Bernhard Westfechtel
109-126
A Probabilistic Model for Software Projects
Frank Padberg
127-146
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?
Nancy G. Leveson, Mats P. E. Heimdahl and Jon Damon Reese
146-162
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini and Constance Heitmeyer
163-179
Specification-Based Prototyping for Embedded Systems’
Jeffrey M. Thompson, Mats P. E. Heimdahl and Steven P. Miller
180-198
Coping with Type Casts in C
Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam and Thomas Reps
199-215
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang and Mary Jean Harrold
216-234
The Concept of Dynamic Analysis
Thomas Ball
235-252
Data-Flow Analysis of Program Fragments
Atanas Rountev, Barbara G. Ryder and William Landi
253-267
Yesterday, my Program Worked. Today, it Does Not. Why?
Andreas Zeller
268-284
Comparison Checking: An Approach to Avoid Debugging of Optimized Code
Clara Jaramillo, Rajiv Gupta and Mary Lou Soffa
285-302
Structural Specification-Based Testing: Automated Support and Experimental Evaluation
Juei Chang and Debra J. Richardson
303-321
An Efficient Relevant Slicing Method for Debugging
Tibor Gyimóthy, Árpád Beszédes and István Forgács
322-337
Analyzing Exception Flow in Java™ Programs
Martin P. Robillard and Gail C. Murphy
338-354
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
Gleb Naumovich, George S. Avrunin and Lori A. Clarke
355-374
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java
Boris Bokowski
375-392
The CIP Method: Component- and Model-Based Construction of Embedded Systems
Hugo Fierz
393-409
Algebraic Software Architecture Reconfiguration
Michel Wermelinger and José Luiz Fiadeiro
410-428
Consistency Checking for Multiple View Software Architectures
Pascal Fradet, Daniel Le Métayer and Michaël Périn
429-445
Synergy Between Component-Based and Generative Approaches
Stan Jarzabek and Peter Knauber
446-463
Transitioning Legacy Assets to a Product Line Architecture
Joachim Bayer, Jean-François Girard, Martin Würthner, Jean-Marc DeBaud and Martin Apel
464-475
CHIME: A Metadata-Based Distributed Software Development Environment
Stephen E. Dossick and Gail E. Kaiser
476-493
FACADE: A Typed Intermediate Language Dedicated to Smart Cards
Gilles Grimaud, Jean-Louis Lanet and Jean-Jacques Vandewalle
494-510
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification
Victor A. Braberman and Miguel Felder
511-527
Checking Progress with Action Priority: Is it Fair?
Dimitra Giannakopoulou, Jeff Magee and Jeff Kramer
Back matter