Mostrando 3 resultados de: 3
Publisher
Formal Aspects of Computing(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013(1)
Área temáticas
Ciencias de la computación(2)
Funcionamiento de bibliotecas y archivos(1)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(3)
A declarative and bidirectional model transformation approach based on graph co-spans
Conference ObjectAbstract: In Model Driven Engineering (MDE) models are the main artefacts of the software development process.Palabras claves:Bidirectionality, category theory, declarative model transformations, model-driven engineeringAutores:Juan De Lara, Lamo Y., Mantz F., Rutle A.Fuentes:scopusA formalisation of deep metamodelling
ArticleAbstract: Metamodelling is one of the pillars of model-driven engineering, used for language engineering and dPalabras claves:category theory, Deep characterisation, Deep metamodelling, Diagram pbkp_redicate framework, Double linguistic/ontological typing, Graph transformation, Linguistic extension, METADEPTH, model-driven engineering, Multi-level metamodelling, PotencyAutores:Guerra E., Juan De Lara, Rossini A., Rutle A., Wolter U.Fuentes:scopusA graph transformation-based semantics for deep metamodelling
Conference ObjectAbstract: Metamodelling is one of the pillars of model-driven engineering, used for language engineering and dPalabras claves:Autores:Guerra E., Juan De Lara, Lamo Y., Rossini A., Rutle A.Fuentes:scopus