000 03585nam a22005415i 4500
001 978-3-642-13688-7
003 DE-He213
005 20140220084539.0
007 cr nn 008mamaa
008 100629s2010 gw | s |||| 0|eng d
020 _a9783642136887
_9978-3-642-13688-7
024 7 _a10.1007/978-3-642-13688-7
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
100 1 _aTratt, Laurence.
_eeditor.
245 1 0 _aTheory and Practice of Model Transformations
_h[electronic resource] :
_bThird International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
_cedited by Laurence Tratt, Martin Gogolla.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aX, 278p. 95 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 ;
_v6142
505 0 _aInvited Paper -- Search Computing: A Model-Driven Perspective -- Research Papers -- Domain-Specific Composition of Model Deltas -- Temporal Model-Based Diagnostics Generation for HVAC Control Systems -- Synthesis of OCL Pre-conditions for Graph Transformation Rules -- From State- to Delta-Based Bidirectional Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence Diagrams to State Machines by Graph Transformation -- Safe Composition of Transformations -- Towards Incremental Execution of ATL Transformations -- Constructing and Navigating Non-invasive Model Decorations -- Model-to-Model Transformations By Demonstration -- Implementing Business Process Recovery Patterns through QVT Transformations -- Model Migration with Epsilon Flock -- Exceptional Transformations -- Improving Higher-Order Transformations Support in ATL -- Towards a Rewriting Logic Semantics for ATL -- Metamodel Matching Based on Planar Graph Edit Distance -- Surviving the Heterogeneity Jungle with Composite Mapping Operators.
520 _aThis book constitutes the refereed proceedings of the Third International Conference, ICMT 2010, held in Malaga, Spain, in June 2010. The 17 revised full papers were carefully revised and selected from 58 submissions. The scope of the contributions ranges from theoretical and methological topics to implementation issues and applications. The papers include different issues related with:Search Computing, Composition of Model Deltas, Testing Model Transformation, Safe Composition of Transformations, Model-to-Model Transformations and Model Migration of Epsilon Flock.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 0 _aLogic design.
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 _aComputer Communication Networks.
650 2 4 _aProgramming Techniques.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aGogolla, Martin.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642136870
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6142
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-13688-7
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c112321
_d112321