Mostrando 10 resultados de: 87
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(23)
Software and Systems Modeling(8)
CEUR Workshop Proceedings(5)
Electronic Communications of the EASST(4)
Communications in Computer and Information Science(3)
Área temáticas
Ciencias de la computación(41)
Programación informática, programas, datos, seguridad(38)
Métodos informáticos especiales(26)
Funcionamiento de bibliotecas y archivos(14)
Lingüística(9)
Área de conocimiento
Ingeniería de software(48)
Software(8)
Teoría de grafos(5)
Artes visuales(3)
Inteligencia artificial(3)
Origen
scopus(87)
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: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:scopusAssisted modelling over social networks with SOCIO
Conference ObjectAbstract: Social networks are intensively used nowadays for both leisure and work. They have become a naturalPalabras claves:Meta-Modelling, Modelling bots, Natural Language processing, SOCIAL NETWORKSAutores:Guerra E., Juan De Lara, Perez-Soler S.Fuentes:scopusAsymob: a platform for measuring and clustering chatbots
Conference ObjectAbstract: Chatbots have become a popular way to access all sorts of services via natural language. Many platfoPalabras claves:Chatbot design, METRICS, quality assuranceAutores:Canizares P.C., Guerra E., Juan De Lara, Lopez-Morales J.M., Perez-Soler S.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:scopusAutomating the measurement of heterogeneous chatbot designs
Conference ObjectAbstract: Chatbots are being increasingly used to provide a natural language interface to all kinds of softwarPalabras claves:Chatbot design, METRICS, quality assuranceAutores:Canizares P.C., Guerra E., Juan De Lara, Perez-Soler S.Fuentes:scopusBuilding scalable graphical modelling environments with EMFSplitter (tool demo)
Conference ObjectAbstract: In Model-Driven Engineering the creation of Domain-Specific Modelling Languages (DSMLs) is a recurrePalabras claves:Domain-specific modelling languages, Graphical modelling environments, Meta-Modelling, Modularity, Scalable modellingAutores:Garmendia A., 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:scopusAn example is worth a thousand words: Creating graphical modelling environments by example
ArticleAbstract: Domain-specific languages (DSLs) are heavily used in model-driven and end-user development approachePalabras claves:Domain-specific modelling languages, Example-based meta-modelling, Flexible Modelling, Graphical modelling environmentsAutores:Garmendia A., Guerra E., Juan De Lara, López-Fernández J.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:scopus