Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7304 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7304.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Integrating Efficient Model Queries in State-of-the-Art EMF Tools / Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth and Zoltán Ujhelyi, et al. -- Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies / Néstor Cataño, Sorren Hanvey and Camilo Rueda -- DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity / Luis Corral, Alberto Sillitti, Giancarlo Succi, Juri Strumpflohner and Jelena Vlasenko -- TimeSquare: Treat Your Models with Logical Time / Julien DeAntoni and Frédéric Mallet -- Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C♯ Programs / Anna Derezińska and Marcin Rudnik -- 101companies: A Community Project on Software Technologies and Software Languages / Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz and Andrei Varanovich -- An Object-Oriented Application Framework for the Development of Real-Time Systems / Francesco Fiamberti, Daniela Micucci and Francesco Tisato -- Measuring Test Case Similarity to Support Test Suite Understanding / Michaela Greiler, Arie van Deursen and Andy Zaidman -- Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties / Kamil Ježek, Premek Brada and Lukáš Holý -- Efficient Method Lookup Customization for Smalltalk / Jan Vraný, Jan Kurš and Claus Gittinger -- Fake Run-Time Selection of Template Arguments in C++ / Daniel Langr, Pavel Tvrdík, Tomáš Dytrych and Jerry P. Draayer |
|
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs / Yannis Lilis and Anthony Savidis -- Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines / Stefan Marr and Theo D'Hondt -- Verification of Snapshotable Trees Using Access Permissions and Typestate / Hannes Mehnert and Jonathan Aldrich -- Multiparty Session C: Safe Parallel Programming with Message Optimisation / Nicholas Ng, Nobuko Yoshida and Kohei Honda -- Non-interference on UML State-Charts / Martín Ochoa, Jan Jürjens and Jorge Cuéllar -- Representing Uniqueness Constraints in Object-Relational Mapping / The Natural Entity Framework / Mark J. Olah, David Mohr and Darko Stefanovic -- Detection of Seed Methods for Quantification of Feature Confinement / Andrzej Olszak, Eric Bouwers, Bo Nørregaard Jørgensen and Joost Visser -- Assisted Behavior Driven Development Using Natural Language Processing / Mathias Soeken, Robert Wille and Rolf Drechsler -- Learning to Classify Bug Reports into Components / Ashish Sureka -- Incremental Dynamic Updates with First-Class Contexts / Erwann Wernli, Mircea Lungu and Oscar Nierstrasz -- Elucidative Development for Model-Based Documentation / Claas Wilke, Andreas Bartho, Julia Schroeter, Sven Karol and Uwe Aßmann -- Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations / Manuel Wimmer, Nathalie Moreno and Antonio Vallecillo -- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation / Yudi Zheng, Danilo Ansaloni, Lukas Marek, Andreas Sewe and Walter Binder, et al |
Summary |
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 |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Logic design |
|
Logics and Meanings of Programs |
|
Programming Languages, Compilers, Interpreters |
|
Programming Techniques |
|
Mathematical Logic and Formal Languages |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
programmeren |
|
programming |
|
computernetwerken |
|
computer networks |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
Subject |
Object-oriented programming (Computer science) -- Congresses
|
|
Object-oriented methods (Computer science) -- Congresses
|
|
Model-driven software architecture -- Congresses
|
|
Informatique.
|
|
Model-driven software architecture
|
|
Object-oriented methods (Computer science)
|
|
Object-oriented programming (Computer science)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Furia, Carlo A
|
|
Nanz, Sebastian.
|
ISBN |
9783642305610 |
|
364230561X |
|
3642305601 |
|
9783642305603 |
|