Mostrando 10 resultados de: 10
Filtros aplicados
Publisher
Journal of Systems and Software(2)
ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering(1)
CEUR Workshop Proceedings(1)
Computer Standards and Interfaces(1)
Electronic Communications of the EASST(1)
Área temáticas
Ciencias de la computación(6)
Programación informática, programas, datos, seguridad(4)
Funcionamiento de bibliotecas y archivos(2)
Métodos informáticos especiales(2)
Sistemas(2)
Área de conocimiento
Ciencias de la computación(4)
Ingeniería de software(2)
Modelo matemático(2)
Simulación por computadora(1)
Origen
scopus(10)
Backwards reasoning for model transformations: Method and applications
ArticleAbstract: Model transformations are key elements of model driven engineering. Current challenges for transformPalabras claves:Model transformation, OCL, Weakest pre-conditionAutores:Cabot J., Clariso R., 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 algebraic semantics for QVT-relations check-only transformations
ArticleAbstract: QVT is the standard for model transformation defined by the OMG in the context of the Model-Driven APalabras claves:category theory, Model transformation, model-driven engineering, QVT-relationsAutores:Guerra E., Juan De LaraFuentes:scopusA reformulation of matrix graph grammars with boolean complexes
ArticleAbstract: Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammarsPalabras claves:Autores:Juan De Lara, Velasco P.P.P.Fuentes:scopusEfficient model partitioning for distributed model transformations
Conference ObjectAbstract: As the models that need to be handled in model-driven engineering grow in scale, scalable algorithmsPalabras claves:ATL, Data distribution, mapreduce, Model transformation, Static AnalysisAutores:Benelallam A., Cabot J., Juan De Lara, Sánchez Cuadrado J.S., Tisi M.Fuentes:scopusInter-modelling with graphical constraints: Foundations and applications
Conference ObjectAbstract: Model-Driven Engineering (MDE) promotes an active use of models in the different phases of the develPalabras claves:Bidirectionality, Graph constraints, Inter-Modelling, Model transformationAutores:Guerra E., Juan De LaraFuentes:scopusMeta-model validation and verification with metabest
Conference ObjectAbstract: Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstrPalabras claves:Example-based meta-modelling, Meta-Modelling, Metamodel testing, Validation and verification (V&V)Autores:Guerra E., Juan De Lara, López-Fernández J.J.Fuentes:scopusScalable model exploration through abstraction and fragmentation strategies
Conference ObjectAbstract: Model-Driven Engineering (MDE) promotes the use of models to conduct all phases of software developmPalabras claves:Model abstraction, Model fragmentation, Model scalability, Model visualization, model-driven engineeringAutores:Garmendia A., Jiménez-Pastor A., Juan De LaraFuentes:scopusVerification and validation of declarative model-to-model transformations through invariants
ArticleAbstract: In this paper we propose a method to derive OCL invariants from declarative model-to-model transformPalabras claves:Model-driven development, Model-to-model transformation, OCL, QVT, Triple graph grammars, Verification and validationAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusTOTEM: Reconciling multi-level modelling with standard two-level modelling
ArticleAbstract: Model driven Engineering (MDE) advocates the active use of models throughout the different softwarePalabras claves:Meta-Modelling, model-driven engineering, Modelling tools, Multi-level modellingAutores:Juan De Lara, Santiago Jácome-GuerreroFuentes:scopus