000 | 02742nam a22005415i 4500 | ||
---|---|---|---|
001 | 978-3-319-21155-8 | ||
003 | DE-He213 | ||
005 | 20200421111844.0 | ||
007 | cr nn 008mamaa | ||
008 | 150715s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319211558 _9978-3-319-21155-8 |
||
024 | 7 |
_a10.1007/978-3-319-21155-8 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aTheory and Practice of Model Transformations _h[electronic resource] : _b8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / _cedited by Dimitris Kolovos, Manuel Wimmer. |
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 |
_aXIV, 231 p. 99 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9152 |
|
505 | 0 | _aChange Management -- Reuse and industrial applications -- New paradigms for model Transformation -- Transformation validation and verification.- Foundations of model transformation. | |
520 | _aThis book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aManagement information systems. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aManagement of Computing and Information Systems. |
700 | 1 |
_aKolovos, Dimitris. _eeditor. |
|
700 | 1 |
_aWimmer, Manuel. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319211541 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9152 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-21155-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c55716 _d55716 |