My Account Log in

1 option

Theory and Practice of Model Transformations : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings / edited by Davide Di Ruscio, Dániel Varró.

SpringerLink Books Computer Science (2011-2024) Available online

View online
Format:
Book
Contributor:
Di Ruscio, Davide, Editor.
Varró, Dániel, Editor.
SpringerLink (Online service)
Series:
Computer Science (SpringerNature-11645)
LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 8568
Programming and Software Engineering, 2945-9168 ; 8568
Language:
English
Subjects (All):
Software engineering.
Computer science.
Compilers (Computer programs).
Electronic data processing-Management.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
IT Operations.
Local Subjects:
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
IT Operations.
Physical Description:
1 online resource (XVI, 203 pages) : 81 illustrations
Edition:
1st ed. 2014.
Contained In:
Springer Nature eBook
Place of Publication:
Cham : Springer International Publishing : Imprint: Springer, 2014.
System Details:
text file PDF
Summary:
This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014. The 14 revised papers were carefully selected from 38 submissions. The papers have been organized in topical sections on model transformation testing, foundations of model synchronization, applications of model synchronization and tracing and reverse engineering of transformations.
Contents:
On the Usage of TGGs for Automated Model Transformation Testing
A Search Based Test Data Generation Approach for Model Transformations
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis
Testing MOF Script Transformations with Handy MOF
Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization
Correctness of Incremental Model Synchronization with Triple Graph Grammars
Towards a Language for Graph-Based Model Transformation Design Patterns
Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report
Triple Graph Grammars in the Large for Translating Satellite Procedures
Developing eMoflon with eMoflon
ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments
Tracing Program Transformations with String Origins
Transformation of UML and OCL Models into Filmstrip Models
Reverse Engineering of Model Transformations for Reusability.
Other Format:
Printed edition:
ISBN:
978-3-319-08789-4
9783319087894
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account