Objects, Models, Components, Patterns

50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

  • Carlo A. Furia
  • Sebastian Nanz

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

Table of contents

  1. Front Matter
  2. Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
    Pages 1-8
  3. Néstor Cataño, Sorren Hanvey, Camilo Rueda
    Pages 9-16
  4. Luis Corral, Alberto Sillitti, Giancarlo Succi, Juri Strumpflohner, Jelena Vlasenko
    Pages 17-33
  5. Julien DeAntoni, Frédéric Mallet
    Pages 34-41
  6. Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich
    Pages 58-74
  7. Francesco Fiamberti, Daniela Micucci, Francesco Tisato
    Pages 75-90
  8. Michaela Greiler, Arie van Deursen, Andy Zaidman
    Pages 91-107
  9. Kamil Ježek, Premek Brada, Lukáš Holý
    Pages 108-123
  10. Jan Vraný, Jan Kurš, Claus Gittinger
    Pages 124-139
  11. Daniel Langr, Pavel Tvrdík, Tomáš Dytrych, Jerry P. Draayer
    Pages 140-154
  12. Hannes Mehnert, Jonathan Aldrich
    Pages 187-201
  13. Nicholas Ng, Nobuko Yoshida, Kohei Honda
    Pages 202-218
  14. Martín Ochoa, Jan Jürjens, Jorge Cuéllar
    Pages 219-235
  15. Mark J. Olah, David Mohr, Darko Stefanovic
    Pages 236-251
  16. Andrzej Olszak, Eric Bouwers, Bo Nørregaard Jørgensen, Joost Visser
    Pages 252-268
  17. Mathias Soeken, Robert Wille, Rolf Drechsler
    Pages 269-287

About these proceedings


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.


automated software engineering embedded systems java virtual machine literate programming model-driven engineering

Editors and affiliations

  • Carlo A. Furia
    • 1
  • Sebastian Nanz
    • 2
  1. 1.Chair of Software EngineeringETH ZurichSwitzerland
  2. 2.Software EngineeringETH ZurichSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-30561-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-30560-3
  • Online ISBN 978-3-642-30561-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book