Mostrando 10 resultados de: 80
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(23)
CEUR Workshop Proceedings(7)
Software and Systems Modeling(5)
Information and Software Technology(3)
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings(2)
Área temáticas
Métodos informáticos especiales(18)
Programación informática, programas, datos, seguridad(14)
Funcionamiento de bibliotecas y archivos(6)
Ingeniería y operaciones afines(4)
Lingüística(3)
Área de conocimiento
Ciencias de la computación(41)
Ingeniería de software(41)
Software(28)
Simulación por computadora(6)
Inteligencia artificial(4)
Origen
scopus(80)
Collaborative Modeling and Group Decision Making Using Chatbots in Social Networks
ReviewAbstract: Modeling is used in the early phases of software and system development to discuss and explore problPalabras claves:Chatbots, collaborative modeling, Decision Making, SOCIAL NETWORKS, SOCIO, Software development, Software EngineeringAutores:Guerra E., Juan De Lara, Perez-Soler S.Fuentes:scopusColouring: 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: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: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 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:scopusAutomatic test amplification for executable models
Conference ObjectAbstract: Behavioral models are important assets that must be thoroughly verified early in the design process.Palabras claves:executable DSL, executable model, Regression testing, test amplificationAutores:Bousse E., Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Khorram F., Mottu J.M., Sunyé G.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:scopus