Mostrando 10 resultados de: 55
Filtros aplicados
Área temáticas
Ciencias de la computación(31)
Programación informática, programas, datos, seguridad(22)
Métodos informáticos especiales(16)
Funcionamiento de bibliotecas y archivos(8)
Sistemas(5)
Área de conocimiento
Ciencias de la computación(31)
Ingeniería de software(27)
Software(13)
Teoría de grafos(4)
Algoritmo(3)
Origen
scopus(55)
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:scopusComputer aided multi-paradigm modelling to process petri-nets and statecharts
Conference ObjectAbstract: This paper proposes a Multi-Paradigm approach to the modelling of complex systems. The approach consPalabras claves:Autores:Juan De Lara, Vangheluwe H.Fuentes:scopusAtom<sup>3</sup>: A tool for multi-formalism and meta-modelling
Conference ObjectAbstract: This article introduces the combined use of multi-formalism modelling and meta-modelling to facilitaPalabras claves:Automatic code generation, Graph Grammars, Meta-Modeling, Modelingan d simulation, Multi-formalism modelingAutores:Juan De Lara, Vangheluwe H.Fuentes: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:scopus