Mostrando 10 resultados de: 96
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(26)
Software and Systems Modeling(10)
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings(4)
ACM International Conference Proceeding Series(3)
ACM Transactions on Software Engineering and Methodology(3)
Área temáticas
Programación informática, programas, datos, seguridad(53)
Ciencias de la computación(41)
Métodos informáticos especiales(30)
Funcionamiento de bibliotecas y archivos(9)
Instrumentos de precisión y otros dispositivos(9)
Área de conocimiento
Software(49)
Ciencias de la computación(48)
Simulación por computadora(4)
Tecnologías de la información y la comunicación(2)
Teoría de grafos(2)
Origen
scopus(96)
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:scopusAutomated analysis of integrity constraints in multi-level models
ArticleAbstract: Multi-level modelling is a technology for model-based development that enables the incremental refinPalabras claves:conceptual modelling, Constraint Solving, Deep meta-modelling, Management of integrity constraints, Meta-level flattening, METADEPTH, model finders, Multi-level modellingAutores:Guerra E., Juan De LaraFuentes: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 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: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:scopus