Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
Formal Aspects of Computing(1)
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013(1)
Área temáticas
Ciencias de la computación(1)
Funcionamiento de bibliotecas y archivos(1)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
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:scopus