Muutke küpsiste eelistusi

Object, Models, Components, Patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 372 pages, kõrgus x laius: 235x155 mm, kaal: 580 g, 100 Illustrations, black and white; XI, 372 p. 100 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 7304
  • Ilmumisaeg: 11-May-2012
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642305601
  • ISBN-13: 9783642305603
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 372 pages, kõrgus x laius: 235x155 mm, kaal: 580 g, 100 Illustrations, black and white; XI, 372 p. 100 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 7304
  • Ilmumisaeg: 11-May-2012
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642305601
  • ISBN-13: 9783642305603
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.
Integrating Efficient Model Queries in State-of-the-Art EMF Tools
1(8)
Gabor Bergmann
Abel Hegedus
Akos Horvath
Istvan Rath
Zoltan Ujhelyi
Daniel Varro
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
9(8)
Nestor Catano
Sorren Hanvey
Camilo Rueda
DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity
17(17)
Luis Corral
Alberto Sillitti
Giancarlo Succi
Juri Strumpflohner
Jelena Vlasenko
TimeSquare: Treat Your Models with Logical Time
34(8)
Julien DeAntoni
Frederic Mallet
Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs
42(16)
Anna Derezinska
Marcin Rudnik
101 companies: A Community Project on Software Technologies and Software Languages
58(17)
Jean-Marie Favre
Ralf Lammel
Thomas Schmorleiz
Andrei Varanovich
An Object-Oriented Application Framework for the Development of Real-Time Systems
75(16)
Francesco Fiamberti
Daniela Micucci
Francesco Tisato
Measuring Test Case Similarity to Support Test Suite Understanding
91(17)
Michaela Greiler
Arie van Deursen
Andy Zaidman
Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties
108(16)
Kamil Jezek
Premek Brada
Lukas Holy
Efficient Method Lookup Customization for Smalltalk
124(16)
Jan Vrany
Jan Kurs
Claus Gittinger
Fake Run-Time Selection of Template Arguments in C++
140(15)
Daniel Langr
Pavel Tvrdik
Tomas Dytrych
Jerry P. Draayer
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs
155(16)
Yannis Lilis
Anthony Savidis
Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines
171(16)
Stefan Marr
Theo D'Hondt
Verification of Snapshotable Trees Using Access Permissions and Typestate
187(15)
Hannes Mehnert
Jonathan Aldrich
Multiparty Session C: Safe Parallel Programming with Message Optimisation
202(17)
Nicholas Ng
Nobuko Yoshida
Kohei Honda
Non-interference on UML State-Charts
219(17)
Martin Ochoa
Jan Jurjens
Jorge Cuellar
Representing Uniqueness Constraints in Object-Relational Mapping
236(16)
Mark J. Olah
David Mohr
Darko Stefanovic
Detection of Seed Methods for Quantification of Feature Confinement
252(17)
Andrzej Olszak
Eric Bouwers
Bo Nørregaard Jørgensen
Joost Visser
Assisted Behavior Driven Development Using Natural Language Processing
269(19)
Mathias Soeken
Robert Wille
Rolf Drechsler
Learning to Classify Bug Reports into Components
288(16)
Ashish Sureka
Incremental Dynamic Updates with First-Class Contexts
304(16)
Erwann Wernli
Mircea Lungu
Oscar Nierstrasz
Elucidative Development for Model-Based Documentation
320(16)
Claas Wilke
Andreas Bartho
Julia Schroeter
Sven Karol
Uwe Aßmann
Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations
336(17)
Manuel Wimmer
Nathalie Moreno
Antonio Vallecillo
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation
353(16)
Yudi Zheng
Danilo Ansaloni
Lukas Marek
Andreas Sewe
Walter Binder
Alex Villazon
Petr Tuma
Zhengwei Qi
Mira Mezini
Author Index 369