Mostrando 10 resultados de: 279
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(55)
Software and Systems Modeling(23)
CEUR Workshop Proceedings(21)
ACM Transactions on Software Engineering and Methodology(5)
Electronic Communications of the EASST(5)
Área temáticas
Ciencias de la computación(146)
Programación informática, programas, datos, seguridad(111)
Métodos informáticos especiales(77)
Funcionamiento de bibliotecas y archivos(37)
Física aplicada(15)
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:scopusCloudExpert: An intelligent system for selecting cloud system simulators
ArticleAbstract: During the last decade, the research community has developed different simulation tools to model andPalabras claves:Cloud simulators, Cloud systems, Intelligent Systems, Metamorphic testing, SimulationAutores:Canizares P.C., Juan De Lara, Núñez A.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:scopusCollaborative Modelling: Chatbots or On-Line Tools? An Experimental Study
Conference ObjectAbstract: Modelling is a fundamental activity in software engineering, which is often performed in collaboratiPalabras claves:Chatbots, Collaborative modelling, EFFECTIVENESS, EFFICIENCY, Quality, SATISFACTION, UsabilityAutores:Acuña S.T., Castro J.W., Juan De Lara, Perez-Soler S., Ren R., Santos A.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:scopusCompiling a simulation language in APL
Conference ObjectAbstract: This paper describes the procedure used to build several compilers, written in APL and APL2, to tranPalabras claves:Autores:Alfonseca E., Alfonseca M., 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:scopus