Abstract is missing.
- Extreme Programming: A Discipline of Software DevelopmentKent Beck. 1 [doi]
- Components and Generative ProgrammingKrzysztof Czarnecki, Ulrich W. Eisenecker. 2-19 [doi]
- A Component and Communication Model for Push SystemsManfred Hauswirth, Mehdi Jazayeri. 20-38 [doi]
- A Fine-Grained Model for Code MobilityCecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman. 39-56 [doi]
- Robots: A Real-Time Systems Architectural StyleVered Gafni. 57-74 [doi]
- Collaboration and Composition: Issues for a Second Generation Process LanguageBrian Warboys, Dharini Balasubramaniam, R. Mark Greenwood, Graham N. C. Kirby, Ken Mayes, Ronald Morrison, David S. Munro. 75-90 [doi]
- Using UML for Software Process ModelingDirk Jäger, Ansgar Schleicher, Bernhard Westfechtel. 91-108 [doi]
- A Probabilistic Model for Software ProjectsFrank Padberg. 109-126 [doi]
- Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the FutureNancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese. 127-145 [doi]
- Using Model Checking to Generate Tests from Requirements SpecificationsAngelo Gargantini, Constance L. Heitmeyer. 146-162 [doi]
- Specification-Based Prototyping for Embedded SystemsJeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller. 163-179 [doi]
- Coping with Type Casts in CMichael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps. 180-198 [doi]
- Efficient Points-to Analysis for Whole-Program AnalysisDonglin Liang, Mary Jean Harrold. 199-215 [doi]
- The Concept of Dynamic AnalysisThomas Ball. 216-234 [doi]
- Data-Flow Analysis of Program FragmentsAtanas Rountev, Barbara G. Ryder, William Landi. 235-252 [doi]
- Yesterday, My Program Worked. Today, It Does Not. Why?Andreas Zeller. 253-267 [doi]
- Comparison Checking: An Approach to Avoid Debugging of Optimized CodeClara Jaramillo, Rajiv Gupta, Mary Lou Soffa. 268-284 [doi]
- Structural Specification-Based Testing: Automated Support and Experimental EvaluationJuei Chang, Debra J. Richardson. 285-302 [doi]
- An Efficient Relevant Slicing Method for DebuggingTibor Gyimóthy, Árpád Beszédes, István Forgács. 303-321 [doi]
- Analyzing Exception Flow in Java ProgramsMartin P. Robillard, Gail C. Murphy. 322-327 [doi]
- An Efficient Algorithm for Computing ::::MHP:::: Information for Concurrent Java ProgramsGleb Naumovich, George S. Avrunin, Lori A. Clarke. 338-354 [doi]
- CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in JavaBoris Bokowski. 355-374 [doi]
- The CIP Method: Component- and Model-Based Construction of Embedded SystemsHugo Fierz. 375-392 [doi]
- Algebraic Software Architecture ReconfigurationMichel Wermelinger, José Luiz Fiadeiro. 393-409 [doi]
- Consistency Checking for Multiple View Software ArchitecturesPascal Fradet, Daniel Le Métayer, Michaël Périn. 410-428 [doi]
- Synergy between Component-Based and Generative ApproachesStan Jarzabek, Peter Knauber. 429-445 [doi]
- Transitioning Legacy Assets to a Product Line ArchitectureJoachim Bayer, Jean-Francois Girard, Martin Würthner, Jean-Marc DeBaud, Martin Apel. 446-463 [doi]
- CHIME: A Metadata-Based Distributed Software Development EnvironmentStephen E. Dossick, Gail E. Kaiser. 464-475 [doi]
- FACADE: A Typed Intermediate Language Dedicated to Smart CardsGilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle. 476-493 [doi]
- Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal VerificationVíctor A. Braberman, Miguel Felder. 494-510 [doi]
- Checking Progress with Action Priority: Is it Fair?Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer. 511-527 [doi]