| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910483109003321 |
|
|
Titolo |
Theory and Practice of Model Transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / / edited by Keith Duddy, Gerti Kappel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 221 p. 85 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 7909 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Mining Models from Generated System Tests -- Streaming model transformations: scenarios, challenges and initial solutions -- Genetic-Programming Approach to Learn Model Transformation Rules from Examples -- Walk Your Tree Any Way You Want -- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars -- The Graph Grammar Library - a generic framework for chemical graph rewrite systems -- Yet Another Three QVT Languages -- Evolution and Synchronisation -- Robust Real-Time Synchronization between Textual and Graphical Editors. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus |
|
|
|
|
|
|
|
|
|
|
on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing. |
|
|
|
|
|
| |