Now showing items 1-20 of 30

    • Icon

      A Model-Driven Engineering approach with Diagnosis of Non-Conformance of Security Objectives in Business Process Models  [Presentation]

      Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Jiménez Ramírez, Andrés (IEEE Computer Society, 2011)
      Several reports indicate that the highest business priorities include: business improvement, security, and IT management. The importance of security and risk management is gaining that even government statements in some ...
    • Icon

      A Statistical Approach to URL-Based Web Page Clustering  [Presentation]

      Hernández Salmerón, Inmaculada Concepción; Rivero, Carlos R.; Ruiz Cortés, David; Corchuelo Gil, Rafael (ACM, 2012)
      Most web page classifiers use features from the page content, which means that it has to be downloaded to be classified. We propose a technique to cluster web pages by means of their URL exclusively. In contrast to other ...
    • Icon

      A Template–Based Approach to Describing Metamorphic Relations  [Presentation]

      Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2017)
      Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we ...
    • Icon

      Advances in the Decision Making for Treatments of Chronic Patients Using Fuzzy Logic and Data Mining Techniques  [Presentation]

      Domínguez Muñoz, Manuel; Aroba, J.; González Enríquez, José; Ramos Román, Isabel; Lucena Soto, José Manuel; Escalona Cuaresma, María José (ScitePress Digital Library, 2014)
      Virological events in HIV-infected patients can rise with no apparent reason. Therefore, when they appear, immunologists or medical doctors do not know whether they will produce other future virological events or they ...
    • Icon

      Advertising Liking Recognition Technique Applied to Neuromarketing by Using Low-Cost EEG Headset  [Presentation]

      Soria Morillo, Luis Miguel; Álvarez García, Juan Antonio; González Abril, Luis; Ortega Ramírez, Juan Antonio (Springer, 2015)
      In this paper a new neuroscience technique is applied into Marketing, which is becoming commonly known as the field of Neuromarketing. The aim of this paper is to recognize how brain responds during the visualization ...
    • Icon

      An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization  [Presentation]

      Troya Castilla, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Universidad de la Laguna, 2017)
      Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The use of assertions for checking their correctness has ...
    • Icon

      Automated Analysis in Feature Modelling and Product Configuration  [Presentation]

      Benavides Cuevas, David Felipe; Felfernig, Alexander; Galindo Duarte, José Ángel; Reinfrank, Florian (Springer, 2013)
      The automated analysis of feature models is one of the thriving topics of research in the software product line and variability management communities that has attracted more attention in the last years. A recent ...
    • Icon

      Automated Analysis of Cloud Offerings for Optimal Service Provisioning  [Presentation]

      García Rodríguez, José María; Martín Díaz, Octavio; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2017)
      Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering a plethora of configuration and purchasing options for them. Users may have certain requirements ...
    • Icon

      Automated Merging of Feature Models using Graph Transformations  [Presentation]

      Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007)
      Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recognized as an important operation to support the adoption ...
    • Icon

      Automated Reasoning for Multi-step Feature Model Configuration Problems  [Presentation]

      White, Jules; Dougherty, Brian; Schmidt, Douglas C.; Benavides Cuevas, David Felipe (ACM, 2009)
      The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing software reusability. One software reuse approach is to develop a Software Product-line (SPL), which is a ...
    • Icon

      Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach  [Presentation]

      Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (IEEE Computer Society, 2010)
      A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic involving a number of analysis operations, ...
    • Icon

      Automatic Test Case Generation from Functional Requirements in NDT  [Presentation]

      Gutiérrez Rodríguez, Javier Jesús; Aragón Serrano, Gustavo; Mejías Risoto, Manuel; Domínguez Mayo, Francisco José; Ruiz Cutilla, Carmen M. (Springer, 212)
      Navigational Development Techniques (NDT) is a Model-driven framework focused on defining Web requirements and obtaining related artefacts from them by means of transformations. Testing is one of the key elements in a ...
    • Icon

      Contract-based test generation for data flow of business processes using constraint programming  [Presentation]

      Jiménez Ramírez, Andrés; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2011)
      The verification of the properties of a business process (BP) has become a significant research topic in recent years. In the early stages of development, the BP model (e.g. BPMN, EPC), the BP contract (task ...
    • Icon

      Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis  [Presentation]

      Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Segura Rueda, Sergio (2010)
      The automated analysis of variability models in general and feature models in particular is a thriving research topic. There have been numerous contributions along the last twenty years in this area including both, ...
    • Icon

      Domain-Specific Languages and Model Transformations for Soft ware Product Line  [Presentation]

      Troya Castilla, Javier; Tolvanen, Juha-Pekka; Segura Rueda, Sergio (ACM Digital Library, 2017)
      is tutorial introduces and demonstrates the use of Model-Driven Engineering in So ware Product Lines. In particular, it teaches participants about domain-speci c languages, metamodeling and modeling, and where these ...
    • Icon

      Exploiting the Enumeration of All Feature Model Configurations  [Presentation]

      Galindo Duarte, José Ángel; Acher, Mathieu; Tirado, Juan Manuel; Vidal, Cristian; Baudry, Benoit; Benavides Cuevas, David Felipe (ACM, 2016)
      .Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional and exclusive features as well as propositional constraints over the features. Numerous computationally ...
    • Icon

      Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints  [Presentation]

      Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2012)
      The combination of activities to achieve optimal goals sometimes has a complex solution. Business Process Model and Notation (BPMN) 2.0 facilitates the modelling of business processes by providing new artifacts, such ...
    • Icon

      Functional Testing of Feature Model Analysis Tools. A First Step  [Presentation]

      Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2008)
      The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementation of these operations using a specific ...
    • Icon

      Inferring Gene-Gene Associations from Quantitative Association Rules  [Chapter of Book]

      Martínez Ballesteros, María del Mar; Nepomuceno Chamorro, Isabel de los Ángeles; Riquelme Santos, José Cristóbal (IEEE, 2011)
      The microarray technique is able to monitor the change in concentration of RNA in thousands of genes simultaneously. The interest in this technique has grown exponentially in recent years and the difficulties in analyzing ...
    • Icon

      Integrating Heterogeneous Variability Modeling Approaches with Invar [Tool Demonstration]  [Presentation]

      Dhungana, Deepak; Seichter, Dominik; Botterweck, Goetz; Rabiser, Rick; Grünbacher, Paul; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (ACM, 2013)
      There have been several proposals to describe the variability of software product lines by using modeling languages. In larger organizations or projects (e.g., multi product line environments) this can lead to a situation ...