Proceedings of the 47th International Conference on Technology of Object-Oriented Languages and Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

OOP
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.