Mostrando 10 resultados de: 165
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(40)
Software and Systems Modeling(16)
CEUR Workshop Proceedings(10)
ACM Transactions on Software Engineering and Methodology(5)
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings(4)
Área temáticas
Ciencias de la computación(80)
Programación informática, programas, datos, seguridad(76)
Métodos informáticos especiales(52)
Funcionamiento de bibliotecas y archivos(21)
Sistemas(11)
Área de conocimiento
Ingeniería de software(96)
Ciencias de la computación(87)
Software(56)
Simulación por computadora(8)
Inteligencia artificial(7)
Origen
scopus(165)
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:scopusCollaborative 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: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:scopusAssessing the quality of meta-models
Conference ObjectAbstract: Meta-models play a pivotal role in Model-Driven Engineering (MDE), as they define the abstract syntaPalabras claves:Autores:Guerra E., Juan De Lara, López-Fernández J.J.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:scopus