Mostrando 10 resultados de: 83
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(13)
CEUR Workshop Proceedings(8)
Software and Systems Modeling(8)
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings(3)
ACM Transactions on Software Engineering and Methodology(3)
Área temáticas
Ciencias de la computación(43)
Programación informática, programas, datos, seguridad(41)
Métodos informáticos especiales(24)
Instrumentos de precisión y otros dispositivos(9)
Funcionamiento de bibliotecas y archivos(8)
Área de conocimiento
Ingeniería de software(69)
Ciencias de la computación(8)
Computación en la nube(2)
Inteligencia artificial(2)
Tecnologías de la información y la comunicación(2)
Origen
scopus(83)
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:scopusChoosing a Chatbot Development Tool
ArticleAbstract: Chatbots are programs that supply services to users via conversation in natural language, acting asPalabras claves:Chatbots, Natural Language processing, Software EngineeringAutores:Guerra E., Juan De Lara, Juarez-Puerta S., Perez-Soler S.Fuentes: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:scopusComparing and classifying model transformation reuse approaches across metamodels
ArticleAbstract: Model transformations are essential elements of model-driven engineering (MDE) solutions, as they enPalabras claves:classification, Feature model, Model transformation, reuse, SurveyAutores:Bruel J.M., Combemale B., Guerra E., Jézéquel J.M., Juan De Lara, Kienzle J., Mussbacher G., Syriani E., Vangheluwe H.Fuentes:scopusComposing textual modelling languages in practice
Conference ObjectAbstract: Complex systems require descriptions using multiple modelling languages, or languages able to expresPalabras claves:Concrete textual syntax, Language composition, Meta-Modelling, METADEPTHAutores:Cicchetti A., Guerra E., Juan De Lara, Meyers B.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: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 model transformation and its validation using AToM<sup>3</sup> and AGG
Conference ObjectAbstract: Complex systems are characterized by components that may have to be described using different notatiPalabras claves:Graph transformation, Meta-Modelling, modelling, Multi-FormalismAutores:Juan De Lara, Taentzer G.Fuentes:scopusAutomated reuse of model transformations through typing requirements models
ArticleAbstract: Model transformations are key elements of model-driven engineering, where they are used to automatePalabras claves:ATL, Meta-Modelling, Model transformation, Model transformation reuse, refinementAutores:Guerra E., Iovino L., Juan De Lara, Pierantonio A., Rocco J.D., Ruscio D.D., Sánchez Cuadrado J.S.Fuentes:scopus