Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

✍ Scribed by Gábor Bergmann, Ábel Hegedüs, Ákos Horváth (auth.), Carlo A. Furia, Sebastian Nanz (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2012
• Tongue: English
• Leaves: 379
• Series: Lecture Notes in Computer Science 7304 Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS.

✦ Table of Contents

Front Matter....Pages -
Integrating Efficient Model Queries in State-of-the-Art EMF Tools....Pages 1-8
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies....Pages 9-16
DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity....Pages 17-33
TimeSquare: Treat Your Models with Logical Time....Pages 34-41
Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs....Pages 42-57
101companies : A Community Project on Software Technologies and Software Languages....Pages 58-74
An Object-Oriented Application Framework for the Development of Real-Time Systems....Pages 75-90
Measuring Test Case Similarity to Support Test Suite Understanding....Pages 91-107
Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties....Pages 108-123
Efficient Method Lookup Customization for Smalltalk....Pages 124-139
Fake Run-Time Selection of Template Arguments in C++....Pages 140-154
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs....Pages 155-170
Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines....Pages 171-186
Verification of Snapshotable Trees Using Access Permissions and Typestate....Pages 187-201
Multiparty Session C: Safe Parallel Programming with Message Optimisation....Pages 202-218
Non-interference on UML State-Charts....Pages 219-235
Representing Uniqueness Constraints in Object-Relational Mapping....Pages 236-251
Detection of Seed Methods for Quantification of Feature Confinement....Pages 252-268
Assisted Behavior Driven Development Using Natural Language Processing....Pages 269-287
Learning to Classify Bug Reports into Components....Pages 288-303
Incremental Dynamic Updates with First-Class Contexts....Pages 304-319
Elucidative Development for Model-Based Documentation....Pages 320-335
Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations....Pages 336-352
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation....Pages 353-368
Back Matter....Pages -

✦ Subjects

Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Formal Languages; Computer Communication Networks