Carlo A. Furia, Sebastian Nanz
Proceedings of the 50th International Conference on Technology of Object-Oriented Languages and Systems
TOOLS Europe, 2012.

@proceedings{TOOLS-EUROPE-2012,
	address       = "Prague, Czech Republic",
	doi           = "10.1007/978-3-642-30561-0",
	editor        = "Carlo A. Furia and Sebastian Nanz",
	isbn          = "978-3-642-30560-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 50th International Conference on Technology of Object-Oriented Languages and Systems}",
	volume        = 7304,
	year          = 2012,
}

Contents (24 items)

4 ×#development
4 ×#named
2 ×#debugging
2 ×#framework
2 ×#modelling
2 ×#object-oriented
2 ×#performance
2 ×#using

TOOLS-EUROPE-2012-BergmannHHRUV #emf #performance #query #state of the art #tool support

Integrating Efficient Model Queries in State-of-the-Art EMF Tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 1–8.

TOOLS-EUROPE-2012-CatanoHR #formal method #named #network #policy #privacy #social

Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies (NC, SH, CR), pp. 9–16.

TOOLS-EUROPE-2012-CorralSSSV #development #mobile #named #process #proximity

DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity (LC, AS, GS, JS, JV), pp. 17–33.

TOOLS-EUROPE-2012-DeAntoniM #logic #modelling #named

TimeSquare: Treat Your Models with Logical Time (JD, FM), pp. 34–41.

TOOLS-EUROPE-2012-DerezinskaR #c# #evaluation #object-oriented #quality #source code #standard

Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs (AD, MR), pp. 42–57.

TOOLS-EUROPE-2012-FavreLSV #community #named

101companies: A Community Project on Software Technologies and Software Languages (JMF, RL, TS, AV), pp. 58–74.

TOOLS-EUROPE-2012-FiambertiMT #development #framework #object-oriented #realtime

An Object-Oriented Application Framework for the Development of Real-Time Systems (FF, DM, FT), pp. 75–90.

TOOLS-EUROPE-2012-GreilerDZ #comprehension #similarity #testing

Measuring Test Case Similarity to Support Test Suite Understanding (MG, AvD, AZ), pp. 91–107.

TOOLS-EUROPE-2012-JezekBH #independence

Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties (KJ, PB, LH), pp. 108–123.

TOOLS-EUROPE-2012-VranyKG #performance #smalltalk

Efficient Method Lookup Customization for Smalltalk (JV, JK, CG), pp. 124–139.

TOOLS-EUROPE-2012-LangrTDD #c++ #runtime

Fake Run-Time Selection of Template Arguments in C++ (DL, PT, TD, JPD), pp. 140–154.

TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise

Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.

TOOLS-EUROPE-2012-MarrD #abstraction #concurrent #identification #implementation #multi #virtual machine

Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines (SM, TD), pp. 171–186.

TOOLS-EUROPE-2012-MehnertA #type system #using #verification

Verification of Snapshotable Trees Using Access Permissions and Typestate (HM, JA), pp. 187–201.

TOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming

Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.

TOOLS-EUROPE-2012-OchoaJC #uml

Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.

TOOLS-EUROPE-2012-OlahMS #constraints #framework #representation

Representing Uniqueness Constraints in Object-Relational Mapping — The Natural Entity Framework (MJO, DM, DS), pp. 236–251.

TOOLS-EUROPE-2012-OlszakBJV #detection #quantifier

Detection of Seed Methods for Quantification of Feature Confinement (AO, EB, BNJ, JV), pp. 252–268.

TOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using

Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.

TOOLS-EUROPE-2012-Sureka #component #debugging #learning

Learning to Classify Bug Reports into Components (AS), pp. 288–303.

TOOLS-EUROPE-2012-WernliLN #incremental

Incremental Dynamic Updates with First-Class Contexts (EW, ML, ON), pp. 304–319.

TOOLS-EUROPE-2012-WilkeBSKA #development #documentation #modelling

Elucidative Development for Model-Based Documentation (CW, AB, JS, SK, UA), pp. 320–335.

TOOLS-EUROPE-2012-WimmerMV #co-evolution

Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations (MW, NM, AV), pp. 336–352.

TOOLS-EUROPE-2012-ZhengAMSBVTQM #bytecode #partial evaluation

Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation (YZ, DA, LM, AS, WB, AV, PT, ZQ, MM), pp. 353–368.