Abstract is missing.
- Integrating Efficient Model Queries in State-of-the-Art EMF ToolsGábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró. 1-8 [doi]
- Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy PoliciesNéstor Cataño, Sorren Hanvey, Camilo Rueda. 9-16 [doi]
- DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team ProximityLuis Corral, Alberto Sillitti, Giancarlo Succi, Juri Strumpflohner, Jelena Vlasenko. 17-33 [doi]
- TimeSquare: Treat Your Models with Logical TimeJulien DeAntoni, Frédéric Mallet. 34-41 [doi]
- Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# ProgramsAnna Derezinska, Marcin Rudnik. 42-57 [doi]
- 101companies: A Community Project on Software Technologies and Software LanguagesJean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich. 58-74 [doi]
- An Object-Oriented Application Framework for the Development of Real-Time SystemsFrancesco Fiamberti, Daniela Micucci, Francesco Tisato. 75-90 [doi]
- Measuring Test Case Similarity to Support Test Suite UnderstandingMichaela Greiler, Arie van Deursen, Andy Zaidman. 91-107 [doi]
- Enhancing OSGi with Explicit, Vendor Independent Extra-Functional PropertiesKamil Jezek, Premek Brada, Lukas Holy. 108-123 [doi]
- Efficient Method Lookup Customization for SmalltalkJan Vraný, Jan Kurs, Claus Gittinger. 124-139 [doi]
- Fake Run-Time Selection of Template Arguments in C++Daniel Langr, Pavel Tvrdík, Tomás Dytrych, Jerry P. Draayer. 140-154 [doi]
- Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programsYannis Lilis, Anthony Savidis. 155-170 [doi]
- Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual MachinesStefan Marr, Theo D'Hondt. 171-186 [doi]
- Verification of Snapshotable Trees Using Access Permissions and TypestateHannes Mehnert, Jonathan Aldrich. 187-201 [doi]
- Multiparty Session C: Safe Parallel Programming with Message OptimisationNicholas Ng, Nobuko Yoshida, Kohei Honda. 202-218 [doi]
- Non-interference on UML State-ChartsMartín Ochoa, Jan Jürjens, Jorge Cuéllar. 219-235 [doi]
- Representing Uniqueness Constraints in Object-Relational Mapping - The Natural Entity FrameworkMark J. Olah, David Mohr, Darko Stefanovic. 236-251 [doi]
- Detection of Seed Methods for Quantification of Feature ConfinementAndrzej Olszak, Eric Bouwers, Bo Nørregaard Jørgensen, Joost Visser. 252-268 [doi]
- Assisted Behavior Driven Development Using Natural Language ProcessingMathias Soeken, Robert Wille, Rolf Drechsler. 269-287 [doi]
- Learning to Classify Bug Reports into ComponentsAshish Sureka. 288-303 [doi]
- Incremental Dynamic Updates with First-Class ContextsErwann Wernli, Mircea Lungu, Oscar Nierstrasz. 304-319 [doi]
- Elucidative Development for Model-Based DocumentationClaas Wilke, Andreas Bartho, Julia Schroeter, Sven Karol, Uwe Aßmann. 320-335 [doi]
- Viewpoint Co-evolution through Coarse-Grained Changes and Coupled TransformationsManuel Wimmer, Nathalie Moreno, Antonio Vallecillo. 336-352 [doi]
- Turbo DiSL: Partial Evaluation for High-Level Bytecode InstrumentationYudi Zheng, Danilo Ansaloni, Lukás Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tuma, Zhengwei Qi, Mira Mezini. 353-368 [doi]