default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID47. TOOLS 2009: ETH Zurich, Switzerland
- Manuel Oriol, Bertrand Meyer:
Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Lecture Notes in Business Information Processing 33, Springer 2009, ISBN 978-3-642-02570-9
Invited Presentations
- Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel:
On Realizing a Framework for Self-tuning Mappings. 1-16 - Jan Vitek:
Programming Models for Concurrency and Real-Time. 17
Reflection and Aspects
- Andrew Camilleri, Geoffrey Coulson, Lynne Blair:
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition. 18-36 - Adrian Rutle, Alessandro Rossini, Yngve Lamo
, Uwe Wolter:
A Diagrammatic Formalisation of MOF-Based Modelling Languages. 37-56 - Vanessa Stricker, Stefan Hanenberg, Dominik Stein:
Designing Design Constraints in the UML Using Join Point Designation Diagrams. 57-76 - Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz:
Stream-Based Dynamic Compilation for Object-Oriented Languages. 77-95
Models
- Artur Boronat, José Meseguer:
Algebraic Semantics of OCL-Constrained Metamodel Specifications. 96-115 - Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers, Wouter Joosen:
Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages. 116-135 - José María Conejero, Eduardo Figueiredo, Alessandro Garcia, Juan Hernández Núñez, Elena Jurado:
Early Crosscutting Metrics as Predictors of Software Instability. 136-156 - Mario E. Sánchez, Camilo Jiménez, Jorge Villalobos, Dirk Deridder:
Extensibility in Model-Based Business Process Engines. 157-174
Theory
- Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory:
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. 175-194 - Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer:
A Sound and Complete Program Logic for Eiffel. 195-214
Components
- Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt:
A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers. 215-230 - Elisa Gonzalez Boix, Tom Van Cutsem, Jorge Vallejos, Wolfgang De Meuter, Theo D'Hondt:
A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks. 231-251
Monitoring
- Stéphane Ducasse, Damien Pollet, Alexandre Bergel, Damien Cassou:
Reusing and Composing Tests with Traits. 252-271 - Adrian Lienhard, Julien Fierz, Oscar Nierstrasz:
Flow-Centric, Back-in-Time Debugging . 272-288 - Karl Klose, Klaus Ostermann:
A Classification Framework for Pointcut Languages in Runtime Monitoring. 289-307
Systems Generation
- Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet:
Fast Simulation Techniques for Design Space Exploration. 308-327 - Camillo Bruni, Toon Verwaest:
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy. 328-347
Short Papers
- Daniel A. Sadilek, Guido Wachsmuth:
Using Grammarware Languages to Define Operational Semantics of Modelled Languages. 348-356 - Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos:
Automatic Generation of Integrated Formal Models Corresponding to UML System Models. 357-367
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
