000 03905nam a22003735i 4500
001 300089
003 MX-SnUAN
005 20160429155615.0
007 cr nn 008mamaa
008 150903s2009 gw | o |||| 0|eng d
020 _a9783642024085
_99783642024085
024 7 _a10.1007/9783642024085
_2doi
035 _avtls000353339
039 9 _a201509030515
_bVLOAD
_c201405060319
_dVLOAD
_y201402180942
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.758
100 1 _aPaige, Richard F.
_eeditor.
_9323631
245 1 0 _aTheory and Practice of Model Transformations :
_bSecond International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings /
_cedited by Richard F. Paige.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5563
500 _aSpringer eBooks
505 0 _aInvited Paper -- Foundations for Bidirectional Programming -- Full Papers -- Model Superimposition in Software Product Lines -- Efficient Model Transformations by Combining Pattern Matching Strategies -- Managing Dependent Changes in Coupled Evolution -- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages -- A Collection Operator for Graph Transformation -- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions -- Towards Model Round-Trip Engineering: An Abductive Approach -- Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa -- Solving Constraints in Model Transformations -- Automatic Model Generation Strategies for Model Transformation Testing -- A Simple Game-Theoretic Approach to Checkonly QVT Relations -- Supporting Model–Driven Development of Object–Relational Database Schemas: A Case Study -- Typing in Model Management -- Supporting Parallel Updates with Bidirectional Model Transformations -- Short Papers -- Experiments with a High-Level Navigation Language -- Using Metrics for Assessing the Quality of ASF+SDF Model Transformations -- Achieving Rule Interoperability Using Chains of Model Transformations -- Panel on Bidirectional Transformations -- Bidirectional Transformations: A Cross-Discipline Perspective.
520 _aThis book constitutes the refereed proceedings of the Second International Conference on Theory and Practice of Model Transformations, ICMT 2009, held at the ETH in Zurich, Switzerland, in June 2009. The 14 revised full papers and 3 revised short papers presented together with 1 invited lecture were carefully reviewed and selected from 67 submissions. The papers address questions about the nature and features of model transformations, their composability and combination to build new model transformations and implement high-level model management operations, the classification of languages for expressing transformations, the measurement of the quality and extra-functional requirements of model transformations, and the definition of development methodologies that allow exploiting all their potential benefits. The volume also contains the minutes of the GRACE International Meeting on Bidirectional Transformations, held in December 2009 near Tokyo, Japan.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783642024078
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-02408-5
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c300089
_d300089