Theory and practice of model transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings /
Saved in:
Meeting name: | ICMT (Conference) (6th : 2013 : Budapest, Hungary) |
---|---|
Imprint: | Berlin : Springer, [2013] ©2013 |
Description: | 1 online resource (xiv, 220 pages) : illustrations. |
Language: | English |
Series: | Lecture notes in computer science, 0302-9743 ; 7909 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 7909. 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/11079003 |
MARC
LEADER | 00000cam a2200000Ii 4500 | ||
---|---|---|---|
001 | 11079003 | ||
005 | 20170630045231.1 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 130625s2013 gw a ob 101 0 eng d | ||
003 | ICU | ||
040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d NLGGC |d OCLCO |d YDXCP |d COO |d OCLCQ |d A7U |d ZMC |d OHS |d OCLCF |d UKMGB |d VLB |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d EBLCP |d OCLCQ |d OCLCO |d DIBIB |d OCLCO |d YDX |d DGU | ||
016 | 7 | |a 016431699 |2 Uk | |
019 | |a 849717108 | ||
020 | |a 9783642388835 |q (electronic bk.) | ||
020 | |a 3642388833 |q (electronic bk.) | ||
020 | |a 3642388825 |q (Print) | ||
020 | |a 9783642388828 |q (Print) | ||
020 | |z 9783642388828 | ||
024 | 7 | |a 10.1007/978-3-642-38883-5 |2 doi | |
035 | |a (OCoLC)850452549 |z (OCoLC)849717108 | ||
050 | 4 | |a QA76.76.D47 |b I26 2013 | |
060 | 4 | |a QA 76.76.D47 | |
084 | |a 54.52 |2 bcl | ||
049 | |a MAIN | ||
111 | 2 | |a ICMT (Conference) |n (6th : |d 2013 : |c Budapest, Hungary) |0 http://id.loc.gov/authorities/names/nb2013013961 |1 http://viaf.org/viaf/140287901 | |
245 | 1 | 0 | |a Theory and practice of model transformations : |b 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / |c Keith Duddy, Gerti Kappel (eds.). |
246 | 3 | |a ICMT 2013 | |
264 | 1 | |a Berlin : |b Springer, |c [2013] | |
264 | 4 | |c ©2013 | |
300 | |a 1 online resource (xiv, 220 pages) : |b illustrations. | ||
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 7909 | |
490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
500 | |a International conference proceedings. | ||
500 | |a Includes author index. | ||
505 | 0 | 0 | |t New Programming Models. |t Streaming Model Transformations: Scenarios, Challenges and Initial Solutions / |r Jesús Sánchez Cuadrado, Juan de Lara -- |t Genetic-Programming Approach to Learn Model Transformation Rules from Examples / |r Martin Faunes, Houari Sahraoui, Mounir Boukadoum -- |t Walk Your Tree Any Way You Want / |r Anya Helene Bagge, Ralf Lämmel -- |t Tools and Applications (Extended Abstracts). |t On an Automated Translation of Satellite Procedures Using Triple Graph Grammars / |r Frank Hermann [and others] -- |t The Graph Grammar Library -- A Generic Framework for Chemical Graph Rewrite Systems / |r Martin Mann, Heinz Ekker, Christoph Flamm -- |t Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract) / |r Markus Lepper, Baltasar Trancón y Widemann -- |t Model Querying with FunnyQT / |r Tassilo Horn -- |t Yet Another Three QVT Languages / |r Edward Willink, Horacio Hoyos, Dimitris Kolovos -- |t Evolution and Synchronisation. |t A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations / |r Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio -- |t Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations / |r Christian Krause, Johannes Dyck, Holger Giese -- |t Robust Real-Time Synchronization between Textual and Graphical Editors / |r Oskar van Rest [and others] -- |t Transformation Engineering. |t Achieving Practical Genericity in Model Weaving through Extensibility / |r Max E. Kramer [and others] -- |t A Rete Network Construction Algorithm for Incremental Pattern Matching / |r Gergely Varró, Frederik Deckwerth -- |t Interactive Visual Analytics for Efficient Maintenance of Model Transformations / |r Andreas Rentschler [and others] -- |t Checking Model Transformation Refinement / |r Fabian Büttner [and others] -- |t Testing. |t Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations / |r Stephan Hildebrandt, Leen Lambers, Holger Giese -- |t Partial Test Oracle in Model Transformation Testing / |r Olivier Finot [and others] -- |t Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns / |r Martin Wieber, Andy Schürr. |
504 | |a Includes bibliographical references and index. | ||
520 | |a This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing. | ||
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 Computer software |x Development. |2 fast |0 (OCoLC)fst00872537 | |
650 | 7 | |a Model-driven software architecture. |2 fast |0 (OCoLC)fst01745121 | |
650 | 2 | |a Software. | |
653 | 4 | |a Computer science. | |
653 | 4 | |a Software engineering. | |
653 | 4 | |a Logic design. | |
653 | 4 | |a Information Systems. | |
653 | 4 | |a Logics and Meanings of Programs. | |
653 | 4 | |a Programming Languages, Compilers, Interpreters. | |
653 | 4 | |a Management of Computing and Information Systems. | |
655 | 4 | |a Electronic books. | |
655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
655 | 7 | |a Ebook. |2 local | |
655 | 2 | |a Congresses. | |
700 | 1 | |a Duddy, Keith, |d 1967- |e editor. |0 http://id.loc.gov/authorities/names/n96119887 |1 http://viaf.org/viaf/60820553 | |
700 | 1 | |a Kappel, Gerti, |e editor. |0 http://id.loc.gov/authorities/names/n2006002978 |1 http://viaf.org/viaf/42891057 | |
776 | 0 | 8 | |i Print version: ICMT (Conference) (6th : 2013 : Budapest, Hungary). |t Theory and practice of model transformations. |d Berlin : Springer, [2013] |z 9783642388828 |w (OCoLC)856216936 |
830 | 0 | |a Lecture notes in computer science ; |v 7909. | |
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-38883-5 |y SpringerLink |
903 | |a HeVa | ||
929 | |a eresource | ||
999 | f | f | |i c17d0f92-3f4c-5674-b6a7-e47e4ae0389c |s 7c0d4509-51fb-5739-a7f3-8604c8fd68f6 |
928 | |t Library of Congress classification |a QA76.76.D47 I26 2013 |l Online |c UC-FullText |u http://link.springer.com/10.1007/978-3-642-38883-5 |z SpringerLink |g ebooks |i 9889212 |