• A Novel Multiobjective Formulation of the Robust Software Project Scheduling Problem 

      Chicano, Francisco; Cervantes, Alejandro; Luna, Francisco; Recio, Gustavo (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 ...
    • Analysis of the Scientific Production of the Spanish Software Engineering Community 

      Burgueño, Loli; Moreno-Delgado, Antonio; Vallecillo-Moreno, Antonio Jesus (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 

      Chicano, Francisco; Ferreira, Marco; Alba-Torres, Enrique (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 ...
    • Elementary Landscape Decomposition of the Test Suite Minimization Problem 

      Chicano, Francisco; Ferrer, Javier; Alba-Torres, Enrique (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 ...
    • Enhancing semantic consistency in anti-fraud rule-based expert systems 

      Roldán-García, María del Mar; García-Nieto, José; Aldana-Montes, José F. (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 

      Nogueira-Collazo, Mariela; Cotta, Carlos; Fernández-Leiva, Antonio J. (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 

      Vallecillo-Moreno, Antonio Jesus; Hilken, Frank; Burgueño, Loli; Gogolla, Martin (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 

      Muñoz, Daniel-Jesus; Pinto, Mónica; Fuentes, Lidia (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 

      Troya, Javier; Vallecillo-Moreno, Antonio Jesus (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 

      Moreno, Nathalie; Fernández-Bertoa, Manuel; Barquero, Gala; Burgueño, Loli; Troya, Javier; [et al.] (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 

      Canal-Velasco, Jose Carlos; Salaün, Gwen (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 

      Arito, Franco; Chicano, Francisco; Alba-Torres, Enrique (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 

      Burgueño, Maria Dolores; Wimmer, Manuel; Troya, Javier; Vallecillo-Moreno, Antonio Jesus
      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 

      Burgueño, Loli; Syriani, Eugene; Wimmer, Manuel; Gray, Jeff; Vallecillo-Moreno, Antonio Jesus
      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 

      Burgueño, Loli; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesus
      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 ...