Theory and practice of model transformations : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /
Saved in:
| Meeting name: | ICMT 2012 (2012 : Prague, Czech Republic) |
|---|---|
| Imprint: | Berlin ; New York : Springer, ©2012. |
| Description: | 1 online resource. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 7307 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 7307. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11076927 |
MARC
| LEADER | 00000cam a2200000Ka 4500 | ||
|---|---|---|---|
| 001 | 11076927 | ||
| 005 | 20170630045745.3 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 120605s2012 gw ob 101 0 eng d | ||
| 003 | ICU | ||
| 010 | |a 2012937671 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d ZMC |d UKMGB |d COO |d OCLCQ |d E7B |d MEAUC |d OCLCF |d BEDGE |d OCLCO |d YDXCP |d OCL |d OCLCO |d OCLCQ |d OCLCO |d EBLCP |d OCLCQ |d VT2 | ||
| 016 | 7 | |a 016096197 |2 Uk | |
| 019 | |a 848112712 |a 964878696 |a 985058208 | ||
| 020 | |a 9783642304767 |q (electronic bk.) | ||
| 020 | |a 3642304761 |q (electronic bk.) | ||
| 020 | |a 3642304753 | ||
| 020 | |a 9783642304750 | ||
| 020 | |z 9783642304750 | ||
| 035 | |a (OCoLC)794731376 |z (OCoLC)848112712 |z (OCoLC)964878696 |z (OCoLC)985058208 | ||
| 050 | 4 | |a QA76.76.D47 |b I26 2012 | |
| 072 | 7 | |a QA |2 lcco | |
| 049 | |a MAIN | ||
| 111 | 2 | |a ICMT 2012 |d (2012 : |c Prague, Czech Republic) | |
| 245 | 1 | 0 | |a Theory and practice of model transformations : |b 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings / |c Zhenjiang Hu, Juan de Lara (eds.). |
| 246 | 3 | |a ICMT 2012 | |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2012. | ||
| 300 | |a 1 online resource. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 7307 | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
| 504 | |a Includes bibliographical references and author index. | ||
| 505 | 0 | 0 | |t How Clean Is Your Sandbox? / |r Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations / |r James F. Terwilliger, Anthony Cleve and Carlo A. Curino -- |t Using Models of Partial Knowledge to Test Model Transformations / |r Sagar Sen, Jean-Marie Mottu, Massimo Tisi and Jordi Cabot -- |t Specification-Driven Test Generation for Model Transformations / |r Esther Guerra -- |t Typing Model Transformations Using Tracts / |r Antonio Vallecillo and Martin Gogolla -- |t Reusable and Correct Endogenous Model Transformations / |r Suzana Andova, Mark G.J. van den Brand and Luc Engelen -- |t Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas / |r Hugo Pacheco and Alcino Cunha -- |t Bidirectional Transformation of Model-Driven Spreadsheets / |r Jácome Cunha, João P. Fernandes, Jorge Mendes, Hugo Pacheco and João Saraiva -- |t Domain-Specific Optimization in Digital Forensics / |r Jeroen van den Bos and Tijs van der Storm -- |t Empirical Assessment of Business Model Transformations Based on Model Simulation / |r María Fernández-Ropero, Ricardo Pérez-Castillo, Barbara Weber and Mario Piattini -- |t Traceability Visualization in Model Transformations with TraceVis / |r Marcel F. van Amstel, Mark G.J. van den Brand and Alexander Serebrenik. |
| 505 | 0 | 0 | |t Type-Safe Model Transformation Languages as Internal DSLs in Scala / |r Lars George, Arif Wider and Markus Scheidgen -- |t Towards a Family of Model Transformation Languages / |r Jesús Sánchez Cuadrado -- |t Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine / |r Dennis Wagelaar, Ludovico Iovino, Davide Di Ruscio and Alfonso Pierantonio -- |t Towards Multi-level Aware Model Transformations / |r Colin Atkinson, Ralph Gerbig and Christian Tunjic -- |t An Algorithm for Generating Model-Sensitive Search Plans for EMF Models / |r Gergely Varró, Frederik Deckwerth, Martin Wieber and Andy Schürr -- |t Paisley: Pattern Matching à la Carte / |r Baltasar Trancón y Widemann and Markus Lepper -- |t Constraint-Driven Modeling through Transformation / |r Andreas Demuth, Roberto E. Lopez-Herrejon and Alexander Egyed -- |t The Impact of Class Model Redesign on State Machines / |r Piotr Kosiuczenko -- |t Fact or Fiction -- Reuse in Rule-Based Model-to-Model Transformation Languages / |r Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger and Johannes Schönböck, et al. |
| 520 | |a This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization. | ||
| 650 | 0 | |a Model-driven software architecture |v Congresses. | |
| 650 | 0 | |a Computer software |x Development |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101470 | |
| 650 | 7 | |a Informatique. |2 eclas | |
| 650 | 7 | |a Computer software |x Development. |2 fast |0 (OCoLC)fst00872537 | |
| 650 | 7 | |a Model-driven software architecture. |2 fast |0 (OCoLC)fst01745121 | |
| 653 | 4 | |a Computer science. | |
| 653 | 4 | |a Computer Communication Networks. | |
| 653 | 4 | |a Software engineering. | |
| 653 | 4 | |a Logic design. | |
| 653 | 4 | |a Logics and Meanings of Programs. | |
| 653 | 4 | |a Programming Languages, Compilers, Interpreters. | |
| 653 | 4 | |a Mathematical Logic and Formal Languages. | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Hu, Zhenjiang, |d 1966- |0 http://id.loc.gov/authorities/names/n2002153966 |1 http://viaf.org/viaf/32921480 | |
| 700 | 1 | |a Lara, Juan de |q (Lara Jaramillo) |0 http://id.loc.gov/authorities/names/nb2012008050 |1 http://viaf.org/viaf/232594967 | |
| 830 | 0 | |a Lecture notes in computer science ; |v 7307. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/978-3-642-30476-7 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 94a7b901-0a91-5600-881c-bae41f56e5d1 |s 44674a00-354a-5350-9018-34f9c128b9f0 |
| 928 | |t Library of Congress classification |a QA76.76.D47 I26 2012 |l Online |c UC-FullText |u http://link.springer.com/10.1007/978-3-642-30476-7 |z SpringerLink |g ebooks |i 9887106 | ||