Listar Instituto de Tecnología e Ingeniería del Software de la Universidad de Málaga - (ITIS) por fecha de publicación
Mostrando ítems 1-20 de 66
-
Testing models and model transformations using classifying terms.
(2016-11-09)This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of classifying terms, which are general OCL terms on a class model ... -
NK Hybrid Genetic Algorithm for Clustering
(2018)The NK hybrid genetic algorithm for clustering is proposed in this paper. In order to evaluate the solutions, the hybrid algorithm uses the NK clustering validation criterion 2 (NKCV2). NKCV2 uses information about the ... -
EARMO: An Energy-Aware Refactoring Approach for Mobile Apps
(IEEE, 2018)The energy consumption of mobile apps is a trending topic and researchers are actively investigating the role of coding practices on energy consumption. Recent studies suggest that design choices can conflict with energy ... -
Expressing Confidence in Models and in Model Transformation Elements.
(2018-10-14)The expression and management of uncertainty, both in the information and in the operations that manipulate it, is a critical issue in those systems that work with physical environments. Measurement uncertainty can be due ... -
CMSA algorithm for solving the prioritized pairwise test data generation problem in software product lines
(Springer, 2020)In Software Product Lines (SPLs), it may be difficult or even impossible to test all the products of the family because of the large number of valid feature combinations that may exist. Thus, we want to find a minimal ... -
Using metaheuristics for the location of bicycle stations
(Elsevier, 2020)In this work, we solve the problem of finding the best locations to place stations for depositing/collecting shared bicycles. To do this, we model the problem as the p-median problem, that is a major existing localization ... -
Efficient execution of ATL model transformations using static analysis and parallelism
(2020)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 addressed to unleash their full potential in industrial settings. ... -
Incorporating Measurement Uncertainty into OCL/UML Primitive Datatypes
(2020-06-01)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 in industry. Uncertainty is one of the inherent properties of ... -
Specifying Quantities in Software Models
(2020-06-08)Context: An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation and processing of physical quantities, comprising ... -
Belief Uncertainty in Software Models
(2020-06-08)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 other belief agent, is uncertain about the behavior of the ... -
Digital Avatars for Older People’s Care
(2020-06-17)The continuous increase in life expectancy poses a challenge for health systems in modern societies, especially with respect to older people living in rural low-populated areas, both in terms of isolation and difficulty ... -
Improving query performance on dynamic graphs
(Springer, 2020-11-20)Querying large models efficiently often imposes high demands on system resources such as memory, processing time, disk access or network latency. The situation becomes more complicated when data are highly interconnected, ... -
A model-driven framework for developing android-based classic multiplayer 2D board games
(Springer, 2021)Mobile applications and game development are attractive fields in software engineering. Despite the advancement of programming languages and integrated development environments, there have always been many challenges for ... -
Modelling Digital Avatars: a tuple space approach
(2021-01-07)The development of the Internet of Things (IoT) came with the manufacturing of a huge amount of smart things equipped with sensors for making them aware of their environment, and with network connection for allowing remote ... -
Uncertainty representation in software models: a survey
(Springer, 2021-01-08)This paper provides a comprehensive overview and analysis of research work on how uncertainty is currently represented in software models. The survey presents the definitions and current research status of different proposals ... -
Effective anytime algorithm for multiobjective combinatorial optimization problems
(Elsevier, 2021-07)In multiobjective optimization, the result of an optimization algorithm is a set of efficient solutions from which the decision maker selects one. It is common that not all the efficient solutions can be computed in a short ... -
Dynastic Potential Crossover Operator
(2021-12)An optimal recombination operator for two parent solutions provides the best solution among those that take the value for each variable from one of the parents (gene transmission property). If the solutions are bit strings, ... -
Defining Categorical Reasoning of Numerical Feature Models with Feature-Wise and Variant-Wise Quality Attributes
(ACM, 2022)Automatic analysis of variability is an important stage of Software Product Line (SPL) engineering. Incorporating quality information into this stage poses a significant challenge. However, quality-aware automated analysis ... -
TITAN: A knowledge-based platform for Big Data workflow management
(2022)Modern applications of Big Data are transcending from being scalable solutions of data processing and analysis, to now provide advanced functionalities with the ability to exploit and understand the underpinning knowledge. ...