Advertisement

Objects, Models, Components, Patterns

49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings

  • Judith Bishop
  • Antonio Vallecillo
Conference proceedings TOOLS 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6705)

Table of contents

  1. Front Matter
    PDF
  2. Synchronizing Models and Code (Invited Talk)
    Oscar Nierstrasz
    Pages 1-1
    PDF
  3. Finding and Fixing Bugs in Web Applications (Invited Talk)
    Frank Tip
    Pages 2-2
    PDF
  4. Test Suite Quality for Model Transformation Chains
    Eduard Bauer, Jochen M. Küster, Gregor Engels
    Pages 3-19
  5. Automated Translation of Java Source Code to Eiffel
    Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio
    Pages 20-35
  6. A Generic Solution for Syntax-Driven Model Co-evolution
    Mark van den Brand, Zvezdan Protić, Tom Verhoeff
    Pages 36-51
  7. From UML Profiles to EMF Profiles and Beyond
    Philip Langer, Konrad Wieland, Manuel Wimmer, Jordi Cabot
    Pages 52-67
  8. Domain-Specific Profiling
    Alexandre Bergel, Oscar Nierstrasz, Lukas Renggli, Jorge Ressia
    Pages 68-82
  9. Metamodel Dependencies for Executable Models
    Carlos Rodríguez, Mario Sánchez, Jorge Villalobos
    Pages 83-98
  10. KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems
    Andrea Ciancone, Antonio Filieri, Mauro Luigi Drago, Raffaela Mirandola, Vincenzo Grassi
    Pages 99-114
  11. Unifying Subjectivity
    Daniel Langone, Jorge Ressia, Oscar Nierstrasz
    Pages 115-130
  12. An Overview of ALIA4J
    Christoph Bockisch, Andreas Sewe, Mira Mezini, Mehmet Akşit
    Pages 131-146
  13. A Heuristic Approach for Computing Effects
    Phillip Heidegger, Peter Thiemann
    Pages 147-162
  14. Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming
    Adam Przybyłek
    Pages 163-178
  15. Lifted Java: A Minimal Calculus for Translation Polymorphism
    Matthias Diehn Ingesman, Erik Ernst
    Pages 179-193
  16. Location Types for Safe Distributed Object-Oriented Programming
    Yannick Welsch, Jan Schäfer
    Pages 194-210
  17. Static Dominance Inference
    Ana Milanova, Jan Vitek
    Pages 211-227
  18. A Case of Visitor versus Interpreter Pattern
    Mark Hills, Paul Klint, Tijs van der Storm, Jurgen Vinju
    Pages 228-243
  19. Computational REST Meets Erlang
    Alessandro Sivieri, Gianpaolo Cugola, Carlo Ghezzi
    Pages 244-259
  20. Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems
    Jean-Rémy Falleri, Simon Denier, Jannik Laval, Philippe Vismara, Stéphane Ducasse
    Pages 260-275
  21. Seuss: Better Class Responsibilities through Language-Based Dependency Injection
    Niko Schwarz, Mircea Lungu, Oscar Nierstrasz
    Pages 276-289
  22. Extensive Validation of OCL Models by Integrating SAT Solving into USE
    Mirco Kuhlmann, Lars Hamann, Martin Gogolla
    Pages 290-306
  23. Back Matter
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. The 19 revised full papers presented together with the abstracts of 2 invited papers were carefully reviewed and selected from a total of 68 submissions. The papers discuss all aspects of object technology and related fields, in particular model-based development, component-based development, language implementation and patterns, in a holistic way. The conference has a strong practical bias, without losing sight of the importance of correctness and performance.

Keywords

Erlang language engineering maintainability metamodel relations mobile code

Editors and affiliations

  • Judith Bishop
    • 1
  • Antonio Vallecillo
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.ETSI Informática BulevarUniversity of MálagaMálagaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-21952-8
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21951-1
  • Online ISBN 978-3-642-21952-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site