|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
978-3-319-21155-8 |
003 |
DE-He213 |
005 |
20220311230113.0 |
007 |
cr nn 008mamaa |
008 |
150715s2015 sz | s |||| 0|eng d |
020 |
|
|
|a 9783319211558
|9 978-3-319-21155-8
|
024 |
7 |
|
|a 10.1007/978-3-319-21155-8
|2 doi
|
050 |
|
4 |
|a QA76.758
|
072 |
|
7 |
|a UMZ
|2 bicssc
|
072 |
|
7 |
|a COM051230
|2 bisacsh
|
072 |
|
7 |
|a UMZ
|2 thema
|
082 |
0 |
4 |
|a 005.1
|2 23
|
245 |
1 |
0 |
|a Theory and Practice of Model Transformations
|h [electronic resource] :
|b 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /
|c edited by Dimitris Kolovos, Manuel Wimmer.
|
250 |
|
|
|a 1st ed. 2015.
|
264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2015.
|
300 |
|
|
|a XIV, 231 p. 99 illus.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 9152
|
505 |
0 |
|
|a Change Management -- Reuse and industrial applications -- New paradigms for model Transformation -- Transformation validation and verification.- Foundations of model transformation.
|
520 |
|
|
|a This 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 |
|a Software engineering.
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Compilers (Computer programs).
|
650 |
|
0 |
|a Electronic data processing-Management.
|
650 |
1 |
4 |
|a Software Engineering.
|
650 |
2 |
4 |
|a Computer Science Logic and Foundations of Programming.
|
650 |
2 |
4 |
|a Compilers and Interpreters.
|
650 |
2 |
4 |
|a IT Operations.
|
700 |
1 |
|
|a Kolovos, Dimitris.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Wimmer, Manuel.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer Nature eBook
|
776 |
0 |
8 |
|i Printed edition:
|z 9783319211565
|
776 |
0 |
8 |
|i Printed edition:
|z 9783319211541
|
830 |
|
0 |
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 9152
|
856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-3-319-21155-8
|z Texto Completo
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-SXCS
|
912 |
|
|
|a ZDB-2-LNC
|
950 |
|
|
|a Computer Science (SpringerNature-11645)
|
950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|