Mostrando 10 resultados de: 54
Filtros aplicados
Publisher
Software and Systems Modeling(7)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(5)
IEEE Transactions on Software Engineering(3)
Journal of Object Technology(3)
ACM Transactions on Software Engineering and Methodology(2)
Área temáticas
Programación informática, programas, datos, seguridad(28)
Ciencias de la computación(22)
Métodos informáticos especiales(22)
Funcionamiento de bibliotecas y archivos(9)
Física aplicada(5)
Área de conocimiento
Ingeniería de software(35)
Software(27)
Ciencias de la computación(20)
Inteligencia artificial(3)
Simulación por computadora(3)
Origen
scopus(54)
Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets
ArticleAbstract: QVT is the standard language sponsored by the OMG to specify model-to-model transformations. It inclPalabras claves:Coloured Petri nets, model-driven engineering, Model-to-model transformations, QVT-relations, Validation and verificationAutores:Guerra E., Juan De LaraFuentes:scopusCombining unit and specification-based testing for meta-model validation and verification
ArticleAbstract: Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstrPalabras claves:Domain-specific modelling languages, Meta-model quality, Meta-Modelling, model-driven engineering, Validation & verificationAutores:Guerra E., Juan De Lara, López-Fernández J.J.Fuentes:scopusAutomated engineering of domain-specific metamorphic testing environments
ArticleAbstract: Context: Testing is essential to improve the correctness of software systems. Metamorphic testing (MPalabras claves:CLOUD COMPUTING, Domain-Specific Languages, Metamorphic testing, model-driven engineering, SimulationAutores:Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Núñez A.Fuentes:scopusAutomated migration of EuGENia graphical editors to the web
Conference ObjectAbstract: Domain-specific languages (DSLs) are languages tailored for particular domains. Many frameworks andPalabras claves:Graphical DSLs, Low-code platforms, model-driven engineeringAutores:Chavarriaga E., Diez P., Guerra E., Juan De Lara, Rani F.Fuentes:scopusAutomated variability injection for graphical modelling languages
Conference ObjectAbstract: Model-based development approaches, such as Model-Driven Engineering (MDE), heavily rely on the usePalabras claves:EMF, graphical modelling language, Meta-Modelling, model-driven engineering, Product LinesAutores:Garmendia A., Gómez-Martínez E., Guerra E., Juan De Lara, Wimmer M.Fuentes:scopusAutomated verification of model transformations based on visual contracts
Conference ObjectAbstract: Model-Driven Engineering promotes the use of models to conduct the different phases of the softwarePalabras claves:Contract-based specification, Model transformation, model-driven engineering, QVT-relations, VerificationAutores:Guerra E., Juan De Lara, Kappel G., Kusel A., Retschitzegger W., Schönböck J., Schwinger W., Wimmer M.Fuentes:scopusAutomating the synthesis of recommender systems for modelling languages
Conference ObjectAbstract: We are witnessing an increasing interest in building recommender systems (RSs) for all sorts of SoftPalabras claves:Domain-Specific Languages, model-driven engineering, Modelling languages, recommender systemsAutores:Almonte L., Cantador I., Guerra E., Juan De Lara, Perez-Soler S.Fuentes:scopusBuilding recommenders for modelling languages with Droid
Conference ObjectAbstract: Recommender systems (RSs) are increasingly being used to help in all sorts of software engineering tPalabras claves:Domain-Specific Languages, model-driven engineering, Modelling languages, recommender systemsAutores:Almonte L., Cantador I., Guerra E., Juan De LaraFuentes: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:scopusAnATLyzer: An advanced IDE for ATL model transformations
Conference ObjectAbstract: Model transformations (MTs) are key in model-driven engineering as they automate model manipulation.Palabras claves:ATL, Model transformation, model-driven engineering, Static Analysis, ZverificationAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopus