Search Results - "Burgueño, Loli"
-
1
A generic LSTM neural network architecture to infer heterogeneous model transformations
Published in Software and systems modeling (01-02-2022)“…Models capture relevant properties of systems. During the models’ life-cycle, they are subjected to manipulations with different goals such as managing…”
Get full text
Journal Article -
2
Specifying quantities in software models
Published in Information and software technology (01-09-2019)“…An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation…”
Get full text
Journal Article -
3
Incorporating measurement uncertainty into OCL/UML primitive datatypes
Published in Software and systems modeling (01-09-2020)“…The correct representation of the relevant properties of a system is an essential requirement for the effective use and wide adoption of model-based practices…”
Get full text
Journal Article -
4
Testing models and model transformations using classifying terms
Published in Software and systems modeling (01-07-2018)“…This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of…”
Get full text
Journal Article -
5
Static Fault Localization in Model Transformations
Published in IEEE transactions on software engineering (01-05-2015)“…As the complexity of model transformations grows, there is an increasing need to count on methods, mechanisms, and tools for checking their correctness, i.e.,…”
Get full text
Journal Article -
6
A Linda-based platform for the parallel execution of out-place model transformations
Published in Information and software technology (01-11-2016)“…The performance and scalability of model transformations is gaining interest as industry is progressively adopting model-driven techniques and multicore…”
Get full text
Journal Article -
7
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey
Published in IEEE transactions on software engineering (01-04-2021)“…Context: Managing Non-Functional Requirements (NFRs) in software projects is challenging, and projects that adopt Model-Driven Development (MDD) are no…”
Get full text
Journal Article -
8
Teaching UML and OCL models and their validation to software engineering students: an experience report
Published in Computer science education (02-01-2018)“…Models are expanding their use for many different purposes in the field of software engineering and, due to their importance, universities have started…”
Get full text
Journal Article -
9
Formalizing Complex Event Processing Systems in Maude
Published in IEEE access (01-01-2018)“…Complex event processing (CEP) is a cutting-edge technology for analyzing and correlating streams of information about events that happen in a system, and…”
Get full text
Journal Article -
10
Contents for a Model-Based Software Engineering Body of Knowledge
Published in Software and systems modeling (01-12-2019)“…Although Model-Based Software Engineering (MBE) is a widely accepted Software Engineering (SE) discipline, no agreed-upon core set of concepts and practices…”
Get full text
Journal Article -
11
Using physical quantities in robot software models
Published in 2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE) (28-05-2018)“…One of the challenges of modeling any software application that deals with real-world physical systems resides in the correct representation of numerical…”
Get full text
Conference Proceeding -
12
Opportunities in intelligent modeling assistance
Published in Software and systems modeling (01-09-2020)“…Modeling is requiring increasingly larger efforts while becoming indispensable given the complexity of the problems we are solving. Modelers face high…”
Get full text
Journal Article -
13
An LSTM-Based Neural Network Architecture for Model Transformations
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) (01-09-2019)“…Model transformations are a key element in any model-driven engineering approach. But writing them is a time-consuming and error-prone activity that requires…”
Get full text
Conference Proceeding -
14
Towards systematic mutations for and with ATL model transformations
Published in 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (01-04-2015)“…Model transformation is a key technique to automate software engineering tasks, such as generating implementations of software systems from higher-level…”
Get full text
Conference Proceeding -
15
Employing classifying terms for testing model transformations
Published in 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (01-09-2015)“…This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically…”
Get full text
Conference Proceeding -
16
Towards Sketching Interfaces for Multi-paradigm Modeling
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01-09-2019)“…Existing design processes typically begin with informal ideation by sketching out a basic approach that can be further developed into a more complete design…”
Get full text
Conference Proceeding -
17
Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01-09-2019)“…Model-driven engineering (MDE) and Artificial Intelligence (AI) are two separate fields in computer science, which can clearly benefit from cross-fertilization…”
Get full text
Conference Proceeding -
18
Belief Uncertainty in Software Models
Published in 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) (01-05-2019)“…This paper discusses the representation of Belief Uncertainty in software models. This kind of uncertainty refers to the situation in which the modeler, or any…”
Get full text
Conference Proceeding -
19
Managing Measurement and Occurrence Uncertainty in Complex Event Processing Systems
Published in IEEE access (2019)“…Complex event processing (CEP) is a powerful technology for analyzing streams of real-time events, coming from different sources, and for extracting…”
Get full text
Journal Article -
20
Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism
Published in IEEE transactions on software engineering (01-04-2022)“…Although model transformations are considered to be the heart and soul of Model Driven Engineering (MDE), there are still several challenges that need to be…”
Get full text
Journal Article