Publication has no abstract
- Using Grammarware Languages to Define Operational Semantics of Modelled LanguagesDaniel A. Sadilek, Guido Wachsmuth. [doi]
- On Realizing a Framework for Self-tuning MappingsManuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel. 1-16 [doi]
- Programming Models for Concurrency and Real-TimeJan Vitek. 17 [doi]
- CIF: A Framework for Managing Integrity in Aspect-Oriented CompositionAndrew Camilleri, Geoffrey Coulson, Lynne Blair. 18-36 [doi]
- A Diagrammatic Formalisation of MOF-Based Modelling LanguagesAdrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter. 37-56 [doi]
- Designing Design Constraints in the UML Using Join Point Designation DiagramsVanessa Stricker, Stefan Hanenberg, Dominik Stein. 57-76 [doi]
- Stream-Based Dynamic Compilation for Object-Oriented LanguagesMichael Bebenita, Mason Chang, Andreas Gal, Michael Franz. 77-95 [doi]
- Algebraic Semantics of OCL-Constrained Metamodel SpecificationsArtur Boronat, José Meseguer. 96-115 [doi]
- Specifying and Composing Concerns Expressed in Domain-Specific Modeling LanguagesAram Hovsepyan, Stefan Van Baelen, Yolande Berbers, Wouter Joosen. 116-135 [doi]
- Early Crosscutting Metrics as Predictors of Software InstabilityJosé MarÃa Conejero, Eduardo Figueiredo, Alessandro Garcia, Juan Hernández, Elena Jurado. 136-156 [doi]
- Extensibility in Model-Based Business Process EnginesMario Sánchez, Camilo Jiménez, Jorge Villalobos, Dirk Deridder. 157-174 [doi]
- Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent ApproachChristian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory. 175-194 [doi]
- A Sound and Complete Program Logic for EiffelMartin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer. 195-214 [doi]
- A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB ServersOlivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt. 215-230 [doi]
- A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc NetworksElisa Gonzalez Boix, Tom Van Cutsem, Jorge Vallejos, Wolfgang De Meuter, Theo D Hondt. 231-251 [doi]
- Reusing and Composing Tests with Traitsstéphane-ducasse, Damien Pollet, Alexandre Bergel, Damien Cassou. 252-271 [doi]
- Flow-Centric, Back-in-Time Debugging Adrian Lienhard, Julien Fierz, Oscar Nierstrasz. 272-288 [doi]
- A Classification Framework for Pointcut Languages in Runtime MonitoringKarl Klose, Klaus Ostermann. 289-307 [doi]
- Fast Simulation Techniques for Design Space ExplorationDaniel Knorreck, Ludovic Apvrille, Renaud Pacalet. 308-327 [doi]
- PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPyCamillo Bruni, Toon Verwaest. 328-347 [doi]
- Automatic Generation of Integrated Formal Models Corresponding to UML System ModelsHelen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos. 357-367 [doi]