| Título : |
11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Rensink, Arend, ; Sánchez Cuadrado, Jesús, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XII, 195 p. 67 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-93317-7 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Ingeniería de software Compiladores (programas informáticos) Programación de computadoras Protección de datos Sistemas operativos (computadoras) Computadoras digitales electrónicas Compiladores e intérpretes Técnicas de programación Seguridad de datos e información Sistemas operativos Rendimiento y evaluación del sistema |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Transformación de Modelos, ICMT 2018, celebrada como parte de STAF 2018, en Toulouse, Francia, en junio de 2018. Los 9 artículos completos fueron cuidadosamente revisados y seleccionados entre 24 presentaciones. Este libro también presenta 1 artículo invitado. Los artículos incluyen artículos de investigación, aplicación y demostración de herramientas presentados en el contexto de cuatro sesiones sobre verificación de transformaciones de modelos, herramientas de transformación de modelos, reutilización de transformaciones y transformaciones de gráficos. |
| Nota de contenido: |
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 Mogwaï Tool -- NMF: A multi-platform Modeling Framework. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings [documento electrónico] / Rensink, Arend, ; Sánchez Cuadrado, Jesús, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 195 p. 67 ilustraciones. ISBN : 978-3-319-93317-7 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Ingeniería de software Compiladores (programas informáticos) Programación de computadoras Protección de datos Sistemas operativos (computadoras) Computadoras digitales electrónicas Compiladores e intérpretes Técnicas de programación Seguridad de datos e información Sistemas operativos Rendimiento y evaluación del sistema |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Transformación de Modelos, ICMT 2018, celebrada como parte de STAF 2018, en Toulouse, Francia, en junio de 2018. Los 9 artículos completos fueron cuidadosamente revisados y seleccionados entre 24 presentaciones. Este libro también presenta 1 artículo invitado. Los artículos incluyen artículos de investigación, aplicación y demostración de herramientas presentados en el contexto de cuatro sesiones sobre verificación de transformaciones de modelos, herramientas de transformación de modelos, reutilización de transformaciones y transformaciones de gráficos. |
| Nota de contenido: |
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 Mogwaï Tool -- NMF: A multi-platform Modeling Framework. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |