Abstract is missing.
- Software Product Families: Towards CompositionalityJan Bosch. 1-10 [doi]
- Contract-Driven DevelopmentBertrand Meyer. 11 [doi]
- EQ-Mine: Predicting Short-Term Defects for Software EvolutionJacek Ratzinger, Martin Pinzger, Harald Gall. 12-26 [doi]
- An Approach to Software Evolution Based on Semantic ChangeRomain Robbes, Michele Lanza, Mircea Lungu. 27-41 [doi]
- A Simulation-Oriented Formalization for a Psychological TheoryPaulo Salem da Silva, Ana Cristina Vieira de Melo. 42-56 [doi]
- Integrating Performance and Reliability Analysis in a Non-Functional MDA FrameworkVittorio Cortellessa, Antinisca Di Marco, Paola Inverardi. 57-71 [doi]
- Information Preserving Bidirectional Model TransformationsHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer. 72-86 [doi]
- Activity-Driven Synthesis of State MachinesRolf Hennicker, Alexander Knapp. 87-101 [doi]
- Flexible and Extensible Notations for Modeling LanguagesJimin Gao, Mats Per Erik Heimdahl, Eric {Van Wyk}. 102-116 [doi]
- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General TypesMarkus Bach, Florian Forster, Friedrich Steimann. 117-120 [doi]
- S2A: A Compiler for Multi-modal UML Sequence DiagramsDavid Harel, Asaf Kleinbort, Shahar Maoz. 121-124 [doi]
- Scenario-Driven Dynamic Analysis of Distributed ArchitecturesGeorge Edwards, Sam Malek, Nenad Medvidovic. 125-139 [doi]
- Enforcing Architecture and Deployment Constraints of Distributed Component-Based SoftwareChouki Tibermacine, Didier Hoareau, Reda Kadri. 140-154 [doi]
- A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State SpacesCésar Sánchez, Henny B. Sipma, Zohar Manna. 155-169 [doi]
- Precise Specification of Use Case ScenariosJon Whittle. 170-184 [doi]
- Joint Structural and Temporal Property Specification Using Timed Story Scenario DiagramsFlorian Klein, Holger Giese. 185-199 [doi]
- SDL Profiles - Formal Semantics and Tool SupportRüdiger Grammes, Reinhard Gotzhein. 200-214 [doi]
- Preliminary Design of BML: A Behavioral Interface Specification Language for Java BytecodeLilian Burdy, Marieke Huisman, Mariela Pavlova. 215-229 [doi]
- A Service Composition Construct to Support Iterative DevelopmentRoy Grønmo, Michael C. Jaeger, Andreas Wombacher. 230-244 [doi]
- Correlation Patterns in Service-Oriented ArchitecturesAlistair P. Barros, Gero Decker, Marlon Dumas, Franz Weber. 245-259 [doi]
- Dynamic Characterization of Web Application InterfacesMarc Fisher II, Sebastian G. Elbaum, Gregg Rothermel. 260-275 [doi]
- A Prioritization Approach for Software Test Cases Based on Bayesian NetworksSiavash Mirarab, Ladan Tahvildari. 276-290 [doi]
- Redundancy Based Test-Suite ReductionGordon Fraser, Franz Wotawa. 291-305 [doi]
- Testing Scenario-Based ModelsHillel Kugler, Michael J. Stern, E. Jane Albert Hubbard. 306-320 [doi]
- Integration Testing in Software Product Line Engineering: A Model-Based TechniqueSacha Reis, Andreas Metzger, Klaus Pohl. 321-335 [doi]
- Practical Reasoning About Invocations and Implementations of Pure MethodsÁdám Darvas, K. Rustan M. Leino. 336-351 [doi]
- Finding Environment GuaranteesMarsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel. 352-367 [doi]
- Ensuring Consistency Within Distributed Graph Transformation SystemsUlrike Ranger, Thorsten Hermes. 368-382 [doi]
- Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc NetworksJulia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel. 383-397 [doi]
- Towards Normal Design for Safety-Critical SystemsDerek Mannering, Jon G. Hall, Lucia Rapanotti. 398-411 [doi]
- A Clustering-Based Approach for Tracing Object-Oriented Design to RequirementXin Zhou, Hui Yu. 412-422 [doi]
- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case StudiesRoberto E. Lopez-Herrejon, Sven Apel. 423-437 [doi]