Objects, Models, Components, Patterns: 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Málaga, Spain, in June/July 2010.

Author(s): Juan de Lara, Esther Guerra (auth.), Jan Vitek (eds.)
Series: Lecture Notes in Computer Science 6141 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010

Language: English
Pages: 316
Tags: Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Formal Languages; Computer Communication Networks

Front Matter....Pages -
Deep Meta-modelling with MetaDepth ....Pages 1-20
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage....Pages 21-40
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks....Pages 41-60
Understanding the Impact of Collection Contracts on Design....Pages 61-78
Reasoning about Function Objects....Pages 79-96
Welterweight Java....Pages 97-116
Read-Only Execution for Dynamic Languages....Pages 117-136
Optimizing Aspect-Oriented Mechanisms for Embedded Applications....Pages 137-153
Contract-Driven Testing of JavaScript Code....Pages 154-172
Late Binding of AspectJ Advice....Pages 173-191
EriLex: An Embedded Domain Specific Language Generator....Pages 192-212
Domain-Specific Program Checking....Pages 213-232
Revisiting Parametric Types and Virtual Classes....Pages 233-252
Moles: Tool-Assisted Environment Isolation with Closures....Pages 253-270
Encoding Ownership Types in Java....Pages 271-290
Visualizing Dynamic Metrics with Profiling Blueprints....Pages 291-309
Back Matter....Pages -