000			02879nam a22004815i 4500
999			_c200434192 _d52404
003			DE-He213
005			20231104114324.0
007			cr nn 008mamaa
008			150715s2015 gw | s |||| 0|eng d
020			_a9783319211558 _z978-3-319-21155-8
024	7		_a10.1007/978-3-319-21155-8 _2doi
040			_aTR-AnTOB _beng _cTR-AnTOB _erda
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema005.1 _223
245	1	0	_aTheory and Practice of Model Transformations : _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			_a1 online resource
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	0		_aProgramming and Software Engineering ; _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	_aSoftware engineering.
650		0	_aLogic design.
650		0	_aComputer science.
650		0	_aInformation Systems.
650	1	4	_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029
650	2	4	_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X
650	2	4	_aProgramming Languages, Compilers, Interpreters. _0http://scigraph.springernature.com/things/product-market-codes/I14037
650	2	4	_aManagement of Computing and Information Systems. _0http://scigraph.springernature.com/things/product-market-codes/I24067
700	1		_aKolovos, Dimitris. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aWimmer, Manuel. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
856	4	0	_uhttps://doi.org/10.1007/978-3-319-21155-8 _3Springer eBooks _zOnline access link to the resource
942			_2lcc _cEBK
041			_aeng