000 | 03279nam a22005775i 4500 | ||
---|---|---|---|
001 | 978-3-642-38883-5 | ||
003 | DE-He213 | ||
005 | 20240730195024.0 | ||
007 | cr nn 008mamaa | ||
008 | 130613s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642388835 _9978-3-642-38883-5 |
||
024 | 7 |
_a10.1007/978-3-642-38883-5 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
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. |
250 | _a1st ed. 2013. | ||
264 | 1 |
_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 |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _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 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 0 |
_aElectronic data processing _xManagement. _9158777 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
650 | 2 | 4 |
_aIT Operations. _931703 |
700 | 1 |
_aDuddy, Keith. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9158778 |
|
700 | 1 |
_aKappel, Gerti. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9158779 |
|
710 | 2 |
_aSpringerLink (Online service) _9158780 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642388828 |
776 | 0 | 8 |
_iPrinted edition: _z9783642388842 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7909 _9158781 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-38883-5 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c95426 _d95426 |