LEADER 04198nam  2200613 a 450 
001 9910767510403321
005 20200520144314.0
010   $a3-540-69927-9
024 7 $a10.1007/978-3-540-69927-9
035   $a(CKB)1000000000491035
035   $a(SSID)ssj0000320382
035   $a(PQKBManifestationID)11262153
035   $a(PQKBTitleCode)TC0000320382
035   $a(PQKBWorkID)10247916
035   $a(PQKB)11427949
035   $a(DE-He213)978-3-540-69927-9
035   $a(MiAaPQ)EBC3068589
035   $a(PPN)127054804
035   $a(EXLCZ)991000000000491035
100   $a20120313d2008      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTheory and practice of model transformations $efirst international conference, ICMT 2008, Zurich, Switzerland, July 1-2, 2008 : proceedings /$fAntonion Vallecillo, Jeff Gray, Alfonso Pierantonio (eds.)
205   $a1st ed. 2008.
210   $aBerlin $cSpringer$d2008
215   $a1 online resource (XII, 261 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v5063
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-69926-0 
320   $aIncludes bibliographical references and index.
327   $aProcess and Engineering of Model Transformations -- Transformations Have to be Developed ReST Assured -- Lifting Transformational Models of Product Lines: A Case Study -- Model Synchronisation: Definitions for Round-Trip Engineering -- The Epsilon Transformation Language -- Model Transformations Supporting Concurrency and Time -- Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? -- On Specifying and Visualising Long-Running Empirical Studies -- Programmed Graph Rewriting with Time for Simulation-Based Design -- Matching and Mapping within Model Transformation Rules -- Live Model Transformations Driven by Incremental Pattern Matching -- Semantics-Based Weaving of UML Sequence Diagrams -- Translation of QVT Relations into QVT Operational Mappings -- Language Support for Model Transformation Reuse and Modularity -- Composition Techniques for Rule-Based Model Transformation Languages -- Approaches for Model Transformation Reuse: Factorization and Composition -- Code Generation by Model Transformation -- Application of Reflection in Model Transformation Languages -- Correctness and Analysis of Model Transformations -- Proofs-as-Model-Transformations -- Analysing Graph Transformation Rules through OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations.
330   $aThis book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008. The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers include different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.
410  0$aLecture notes in computer science ;$v5063.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
517 3 $aICMT 2008
606   $aComputer software$xDevelopment$vCongresses
606   $aModel-driven software architecture$vCongresses
615  0$aComputer software$xDevelopment
615  0$aModel-driven software architecture
676   $a004.0151
701   $aVallecillo$b Antonio$01752361
701   $aGray$b Jeff$0889877
701   $aPierantonio$b Alfonso$01752362
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910767510403321
996   $aTheory and practice of model transformations$94187638
997   $aUNINA