Coverart for item
The Resource Objects, models, components, patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings, Carlo A. Furia, Sebastian Nanz (eds.), (electronic book)

Objects, models, components, patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings, Carlo A. Furia, Sebastian Nanz (eds.), (electronic book)

Label
Objects, models, components, patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Title
Objects, models, components, patterns
Title remainder
50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Statement of responsibility
Carlo A. Furia, Sebastian Nanz (eds.)
Title variation
TOOLS 2012
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1/17
Index
index present
LC call number
QA76.64
LC item number
.T66 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
TOOLS (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Furia, Carlo A
  • Nanz, Sebastian
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7304
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Object-oriented methods (Computer science)
  • Model-driven software architecture
Label
Objects, models, components, patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings, Carlo A. Furia, Sebastian Nanz (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • 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ý
  • Integrating Efficient Model Queries in State-of-the-Art EMF Tools
  • 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
  • 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
  • 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
  • Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs
  • 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
  • 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
Control code
SPR794843116
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642305610
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Objects, models, components, patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings, Carlo A. Furia, Sebastian Nanz (eds.), (electronic book)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • 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ý
  • Integrating Efficient Model Queries in State-of-the-Art EMF Tools
  • 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
  • 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
  • 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
  • Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs
  • 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
  • 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
Control code
SPR794843116
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642305610
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...