| 000 | 03064nam a22005295i 4500 | ||
|---|---|---|---|
| 001 | vtls000485047 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922070113.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 140715s2013 gw | s |||| 0|eng d | ||
| 020 |
_a9783642388835 _9978-3-642-38883-5 |
||
| 024 | 7 |
_a10.1007/978-3-642-38883-5 _2doi |
|
| 035 | _ato000485047 | ||
| 040 |
_aSpringer _cSpringer _dRU-ToGU |
||
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 100 | 1 |
_aDuddy, Keith. _eeditor. _9416322 |
|
| 245 | 1 | 0 |
_aTheory and Practice of Model Transformations _h[electronic resource] : _b6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / _cedited by Keith Duddy, Gerti Kappel. |
| 260 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
||
| 300 |
_aXIV, 221 p. 85 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7909 |
|
| 505 | 0 | _aMining 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. | |
| 520 | _aThis 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. | ||
| 650 | 0 |
_aComputer Science. _9155490 |
|
| 650 | 0 |
_aSoftware engineering. _9566225 |
|
| 650 | 0 |
_aLogic design. _9306256 |
|
| 650 | 0 |
_aInformation systems. _9303226 |
|
| 650 | 1 | 4 |
_aComputer Science. _9155490 |
| 650 | 2 | 4 |
_aSoftware Engineering. _9566285 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _9306257 |
| 650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _9303287 |
| 650 | 2 | 4 |
_aManagement of Computing and Information Systems. _9303227 |
| 700 | 1 |
_aKappel, Gerti. _eeditor. _9416323 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
| 773 | 0 | _tSpringer eBooks | |
| 830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-38883-5 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 | _c357799 | ||