Mostrando 10 resultados de: 40
Filtros aplicados
Área temáticas
Ciencias de la computación(23)
Programación informática, programas, datos, seguridad(15)
Métodos informáticos especiales(9)
Sistemas(5)
Funcionamiento de bibliotecas y archivos(4)
Área de conocimiento
Ingeniería de software(26)
Ciencias de la computación(23)
Software(11)
Algoritmo(2)
Simulación por computadora(2)
Origen
scopus(40)
Checking Model Transformation Refinement
Conference ObjectAbstract: Refinement is a central notion in computer science, meaning that some artefact S can be safely replaPalabras claves:Autores:Büttner F., Egea M., Guerra E., Juan De LaraFuentes:scopusBottom-up meta-modelling: An interactive approach
Conference ObjectAbstract: The intensive use of models in Model-Driven Engineering (MDE) raises the need to develop meta-modelsPalabras claves:Domain-specific modelling languages, Interactive Meta-Modelling, Meta-Model Design Exploration, Meta-ModellingAutores:Guerra E., Juan De Lara, Sanchez-Cuadrado J.Fuentes:scopusAn invariant-based method for the analysis of declarative model-to-model transformations
Conference ObjectAbstract: In this paper we propose a method to derive OCL invariants from declarative specifications of model-Palabras claves:Autores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusAnalysing graph transformation rules through OCL
Conference ObjectAbstract: In this paper we present an approach to the analysis of graph transformation rules based on an interPalabras claves:Autores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusAnalyzing rule-based behavioral semantics of visual modeling languages with maude
Conference ObjectAbstract: There is a growing need to explicitly represent the behavioral semantics of Modeling Languages in aPalabras claves:Autores:Eduardo Rivera J., Guerra E., Juan De Lara, Vallecillo A.Fuentes:scopusA comparison of two-level and multi-level modelling for cloud-based applications
Conference ObjectAbstract: The Cloud Modelling Framework (CloudMF) is an approach to apply model-driven engineering principlesPalabras claves:CLOUD COMPUTING, CloudMF, CloudML, Domain-Specific Languages, METADEPTH, Metamodelling, Multi-level modeling, Multi-level reasoningAutores:Guerra E., Juan De Lara, Nikolov N., Rossini A.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:scopusControlling reuse in pattern-based model-to-model transformations
Conference ObjectAbstract: Model-to-model transformation is a central activity in Model-Driven Engineering that consists of traPalabras claves:Autores:Guerra E., Juan De Lara, Orejas F.Fuentes:scopusCorrectness, completeness and termination of pattern-based model-to-model transformation
Conference ObjectAbstract: Model-to-model (M2M) transformation consists in trans- forming models from a source to a target langPalabras claves:Autores:Ehrig H., Guerra E., Juan De Lara, Orejas F.Fuentes:scopusDeep meta-modelling with MetaDepth
Conference ObjectAbstract: Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineeringPalabras claves:Autores:Guerra E., Juan De LaraFuentes:scopus