Manuel Oriol, Bertrand Meyer
Proceedings of the 47th International Conference on Technology of Object-Oriented Languages and Systems
TOOLS Europe, 2009.

@proceedings{TOOLS-EUROPE-2009,
	address       = "Zurich, Switzerland",
	doi           = "10.1007/978-3-642-02571-6",
	editor        = "Manuel Oriol and Bertrand Meyer",
	isbn          = "978-3-642-02570-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Business Information Processing}",
	title         = "{Proceedings of the 47th International Conference on Technology of Object-Oriented Languages and Systems}",
	volume        = 33,
	year          = 2009,
}

Contents (21 items)

5 ×#modelling
4 ×#framework
3 ×#using
2 ×#aspect-oriented
2 ×#design
2 ×#diagrams
2 ×#formal method
2 ×#generative
2 ×#named
2 ×#semantics

TOOLS-EUROPE-2009-WimmerSBKK #framework #on the #self

On Realizing a Framework for Self-tuning Mappings (MW, MS, PB, HK, GK), pp. 1–16.

TOOLS-EUROPE-2009-Vitek #concurrent #modelling #programming #realtime

Programming Models for Concurrency and Real-Time (JV), p. 17.

TOOLS-EUROPE-2009-CamilleriCB #aspect-oriented #composition #framework #named

CIF: A Framework for Managing Integrity in Aspect-Oriented Composition (AC, GC, LB), pp. 18–36.

TOOLS-EUROPE-2009-RutleRLW #diagrams #formal method #modelling

A Diagrammatic Formalisation of MOF-Based Modelling Languages (AR, AR, YL, UW), pp. 37–56.

TOOLS-EUROPE-2009-StrickerHS #constraints #design #diagrams #uml #using

Designing Design Constraints in the UML Using Join Point Designation Diagrams (VS, SH, DS), pp. 57–76.

TOOLS-EUROPE-2009-BebenitaCGF #compilation #object-oriented

Stream-Based Dynamic Compilation for Object-Oriented Languages (MB, MC, AG, MF), pp. 77–95.

TOOLS-EUROPE-2009-BoronatM #algebra #metamodelling #ocl #semantics #specification

Algebraic Semantics of OCL-Constrained Metamodel Specifications (AB, JM), pp. 96–115.

TOOLS-EUROPE-2009-HovsepyanBBJ #domain-specific language #modelling #specification

Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages (AH, SVB, YB, WJ), pp. 116–135.

TOOLS-EUROPE-2009-ConejeroFGHJ #metric #predict

Early Crosscutting Metrics as Predictors of Software Instability (JMC, EF, AG, JH, EJ), pp. 136–156.

TOOLS-EUROPE-2009-SanchezJVD #modelling #process

Extensibility in Model-Based Business Process Engines (MES, CJ, JV, DD), pp. 157–174.

TOOLS-EUROPE-2009-KastnerATKB #approach #correctness #independence #product line

Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach (CK, SA, ST, MK, DSB), pp. 175–194.

TOOLS-EUROPE-2009-NordioCMM #eiffel #logic

A Sound and Complete Program Logic for Eiffel (MN, CC, PM, BM), pp. 195–214.

TOOLS-EUROPE-2009-CaronCMV #adaptation #component #framework #functional

A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers (OC, BC, AM, GV), pp. 215–230.

TOOLS-EUROPE-2009-BoixCVMD #ad hoc #mobile #network

A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks (EGB, TVC, JV, WDM, TD), pp. 231–251.

TOOLS-EUROPE-2009-DucassePBC #reuse #testing

Reusing and Composing Tests with Traits (SD, DP, AB, DC), pp. 252–271.

TOOLS-EUROPE-2009-LienhardFN #debugging

Flow-Centric, Back-in-Time Debugging (AL, JF, ON), pp. 272–288.

TOOLS-EUROPE-2009-KloseO #aspect-oriented #classification #framework #monitoring #runtime

A Classification Framework for Pointcut Languages in Runtime Monitoring (KK, KO), pp. 289–307.

TOOLS-EUROPE-2009-KnorreckAP #design #performance #simulation

Fast Simulation Techniques for Design Space Exploration (DK, LA, RP), pp. 308–327.

TOOLS-EUROPE-2009-BruniV #generative #named #prototype #using #virtual machine

PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy (CB, TV), pp. 328–347.

TOOLS-EUROPE-2009-SadilekW #grammarware #semantics #using

Using Grammarware Languages to Define Operational Semantics of Modelled Languages (DAS, GW), pp. 348–356.

TOOLS-EUROPE-2009-TreharneTPK #automation #formal method #generative #modelling #uml

Automatic Generation of Integrated Formal Models Corresponding to UML System Models (HT, ET, RFP, DSK), pp. 357–367.