國立高雄大學圖資館 |

Language: English

Back

Theory and practice of model transfo...

(1998 :)

Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Theory and practice of model transformationedited by Arend Rensink, Jesus Sanchez Cuadrado.
Reminder of title:	11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /
remainder title:	ICMT 2018
other author:	Rensink, Arend.
corporate name:
Published:	Cham :Springer International Publishing :2018.
Description:	xii, 195 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Model-driven software architectureCongresses.
Online resource:	https://doi.org/10.1007/978-3-319-93317-7
ISBN:	9783319933177$q(electronic bk.)

Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /
Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /[electronic resource] :ICMT 2018edited by Arend Rensink, Jesus Sanchez Cuadrado. - Cham :Springer International Publishing :2018. - xii, 195 p. :ill., digital ;24 cm. - Lecture notes in computer science,108880302-9743 ;. - Lecture notes in computer science ;4891..

The Design, Evolution, and Use of KernelF -- An Extensible and Embeddable Functional Language -- Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques -- Schema Transformations and Query Rewriting in Ontological Databases with a Faceted Interface -- Model Transformation Reuse across Metamodels: A classification and comparison of approaches -- Systematic recovery of MDE technology reuse -- Technical debt in Model Transformation specifications -- CoqTL: an Internal DSL for Model Transformation in Coq -- A Formal Framework for Prototyping Executable Semantics in ATL -- Scalable Model Transformations and Queries with the Mogwai Tool -- NMF: A multi-platform Modeling Framework.

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of four sessions on verification of model transformations, model transformation tools, transformation reuse and graph transformations.

ISBN: 9783319933177$q(electronic bk.)

Standard No.: 10.1007/978-3-319-93317-7doiSubjects--Topical Terms:

445843
Model-driven software architecture
--Congresses.

LC Class. No.: QA76.76.D47 / I35 2018

Dewey Class. No.: 005.1

Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /
LDR:02526nmm a2200373 a 4500 001 568651
003 DE-He213
005 20191024051205.0
006 m d
007 cr nn 008maaau
008 200707s2018 sz s 0 eng d
020 $a 9783319933177$q(electronic bk.)
020 $a 9783319933160$q(paper)
024 7 $a 10.1007/978-3-319-93317-7 $2 doi
035 $a 978-3-319-93317-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.D47 $b I35 2018
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.76.D47 $b I17 2018
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Theory and practice of model transformation $h [electronic resource] : $b 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings / $c edited by Arend Rensink, Jesus Sanchez Cuadrado.
246 3 $a ICMT 2018
246 3 $a STAF 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xii, 195 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10888
490 1 $a Programming and software engineering
505 0 $a The Design, Evolution, and Use of KernelF -- An Extensible and Embeddable Functional Language -- Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques -- Schema Transformations and Query Rewriting in Ontological Databases with a Faceted Interface -- Model Transformation Reuse across Metamodels: A classification and comparison of approaches -- Systematic recovery of MDE technology reuse -- Technical debt in Model Transformation specifications -- CoqTL: an Internal DSL for Model Transformation in Coq -- A Formal Framework for Prototyping Executable Semantics in ATL -- Scalable Model Transformations and Queries with the Mogwai Tool -- NMF: A multi-platform Modeling Framework.
520 $a This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of four sessions on verification of model transformations, model transformation tools, transformation reuse and graph transformations.
650 0 $a Model-driven software architecture $v Congresses. $3 445843
650 0 $a Computer software $x Development $v Congresses. $3 384490
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Systems and Data Security. $3 274481
650 2 4 $a Operating Systems. $3 274474
650 2 4 $a System Performance and Evaluation. $3 273898
700 1 $a Rensink, Arend. $3 279580
700 1 $a Sanchez Cuadrado, Jesus. $3 854542
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Programming and software engineering. $3 821998
856 4 0 $u https://doi.org/10.1007/978-3-319-93317-7
950 $a Computer Science (Springer-11645)