000 04135nam a22005295i 4500
001 978-3-540-69927-9
003 DE-He213
005 20240423130301.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540699279
_9978-3-540-69927-9
024 7 _a10.1007/978-3-540-69927-9
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aTheory and Practice of Model Transformations
_h[electronic resource] :
_bFirst International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings /
_cedited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio.
250 _a1st ed. 2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2008.
300 _aXII, 261 p.
_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 ;
_v5063
505 0 _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.
520 _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.
650 0 _aComputer science.
650 1 4 _aTheory of Computation.
650 2 4 _aComputer Science.
700 1 _aVallecillo, Antonio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aGray, Jeff.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPierantonio, Alfonso.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540699262
776 0 8 _iPrinted edition:
_z9783540866190
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5063
856 4 0 _uhttps://doi.org/10.1007/978-3-540-69927-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c186967
_d186967