ListarLCC - Contribuciones a congresos científicos por tema "Ingeniería del software"
Mostrando ítems 1-18 de 18
-
A Novel Multiobjective Formulation of the Robust Software Project Scheduling Problem
(2014-10-07)The Software Project Scheduling (SPS) problem refers to the distribution of tasks during a software project lifetime. Software development involves managing human resources and a total budget in an optimal way for a ... -
Un analizador de modelos de variabilidad basado en el árbol de características.
(Sistedes, 2023-09-12)Un árbol de características generalizado (GFT) es un modelo de variabilidad en el que las restricciones textuales han sido eliminadas manteniendo la semántica del modelo. La ventaja de un GFT es que se puede analizar ... -
Analysis of the Scientific Production of the Spanish Software Engineering Community
(2015-07-29)Our group has been working on a report for the Spanish Society of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientific production and its contributions ... -
Comparing metaheuristic algorithms for error detection in Java programs
(2015-09-07)Model checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. The main drawback of this technique is the ... -
Dealing with inheritance in OO evolutionary testing.
(2009-07)Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural languages. All this work can be used with small ... -
Elementary Landscape Decomposition of the Test Suite Minimization Problem
(2015-09-07)Landscape theory provides a formal framework in which combinatorial optimization problems can be theoretically characterized as a sum of a special kind of landscape called elementary landscape. The decomposition of the ... -
Elimination of constraints for parallel analysis of feature models.
(2023)Cross-tree constraints give feature models maximal expressive power since any interdependency between features can be captured through arbitrary propositional logic formulas. However, the existence of these constraints ... -
Enhancing semantic consistency in anti-fraud rule-based expert systems
(2018-10-29)En este estudio, se propone un servicio guiado por ontología para la detección y clasificación de problemas de incoherencia semántica en sistemas expertos con bases de reglas de decisión. Se centra en el caso crítico de ... -
Eryna: una herramienta de apoyo a la revolución de los videojuegos
(2014-06-19)La industria del videojuego desde su inicio se ha caracterizado por un dinamismo constante, cada d a son más los desarrolladores que se suman a la competencia y por otro lado, los usuarios se vuelven más expertos y ... -
Generating Effective Test Suites for Model Transformations Using Classifying Terms
(2016-09-27)Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying ... -
HADAS: Asistente de eco-eficiencia con repositorio de consumo energético
(2017-09-14)El interés por la Ingeniería del Software "verde", o sea, sensible al consumo de energía, es relativamente reciente. Su objetivo es concienciar a los desarrolladores de software de la influencia que tienen sus decisiones ... -
Introducing Approximate Model Transformations
(2014-09-22)Model transformations dealing with very large models need to count on mechanisms and tools to be able to manage them. The usual approach to improve performance in these cases has focused on the use of concurrency and ... -
Managing Uncertain Complex Events in Web of Things Applications
(2018-05-31)A critical issue in the Web of Things (WoT) is the need to process and analyze the interactions of Web-interconnected real-world objects. Complex Event Processing (CEP) is a powerful technology for analyzing streams of ... -
Model-Based Adaptation of Software Communicating via FIFO Buffers
(2015-04-10)Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual functionality is as required for the new system, but that present interface mismatch, which leads to ... -
On the Application of SAT Solvers to the Test Suite Minimization Problem
(2014-10-06)The Test Suite Minimization problem in regression testing is a software engineering problem which consists in selecting a set of test cases from a large test suite that satisfies a given condition, like maximizing the ... -
On the Realization of TractsTool
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this ... -
Primitive Operators for the Concurrent Execution of Model Transformations Based on LinTra
Performance and scalability of model transformations are becoming prominent topics in Model-Driven Engineering. In previous work, we introduced LinTra, a platform for executing out-place model transformations in parallel. ... -
Towards Distributed Model Transformations with LinTra
Performance and scalability of model transformations are becoming prominent topics in Model-Driven Engineering. In previous works we introduced LinTra, a platform for executing model transformations in parallel. LinTra ...