Now showing items 1-20 of 43

    • Icon

      A Knowledge Extraction Process Specification for Today’s non-semantic Web  [Presentation]

      Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (IEEE Computer Society, 2003)
      The semantic web shall enable web agents an efficient, precise, and comprehensive extraction of knowledge. Nevertheless, this new web is not likely to be adopted in the immediate future. In this article, we present a ...
    • Icon

      A Practical Agent-Based Method to Extract Semantic Information from the Web  [Presentation]

      Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2002)
      The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it contains. However,c urrent trends seem to suggest that it is not likely to be adopted in the ...
    • Icon

      A Semiquantitative Approach to Study Semiqualitative Systems  [Presentation]

      Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Torres Valderrama, Jesús (Springer, 2002)
      In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative knowledge. This qualitative information may be composed by: operators, envelope functions, ...
    • 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

      An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions  [Presentation]

      Ruiz Cortés, David; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (Springer, 2002)
      Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic programme, will eventually be selected for execution so that it can progress. Unfortunately, “eventually” ...
    • 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

      An XML-Based Approach for the Automatic Verification of Software Requirements Specifications  [Presentation]

      Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001)
      In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...
    • Icon

      Aplicación del Modelado y Simulación de Sistemas Dinámicos al Proceso de Diseño Centrado en el Usuario  [Presentation]

      Hurtado Rodríguez, Nuria; Ruiz Carreira, Mercedes; Torres Valderrama, Jesús (CEUR-WS, 2004)
      La usabilidad de los Sistemas Interactivos se reconoce ya como una componente fundamental del éxito de estos sistemas. Para garantizar la usabilidad, las organizaciones de desarrollo de software deben considerar ...
    • Icon

      Applying XML technologies in Requirements Verification  [Presentation]

      Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002)
      In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...
    • Icon

      Una Aproximación a la Gestión Automática de Alternativas de Diseño  [Presentation]

      Martín Díaz, Octavio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (CEUR-WS, 2001)
      La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas muy conocidos pero, no por ello, menos complejos. Habitualmente, a la hora de realizar este ...
    • Icon

      Automated Diagnosis of Product-line Configuration Errors in Feature Models  [Presentation]

      White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2008)
      Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Configuration of large feature models can ...
    • 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 Support for Quality Requirements in Web–Service–Based Systems  [Presentation]

      Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Durán Toro, Amador; Toro Bonilla, Miguel (IEEE Computer Society, 2001)
      The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason is that it will allow to build economically–optimal systems whose quality level can be guaranteed. ...
    • 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 Extraction of Semantically-Meaningful Information from the Web.  [Presentation]

      Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2002)
      The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it contains. However,curren t trends seem to suggest that the semantic web is not likely to be adopted ...
    • Icon

      Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales  [Presentation]

      Ruiz Cortés, Antonio; Durán Toro, Amador; Corchuelo Gil, Rafael; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel (2001)
      El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales basados en la WEB (MOWS), ha puesto de relieve algunas limitaciones de los actuales lenguajes ...
    • Icon

      Coping with Web Knowledge  [Presentation]

      Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Peña Siles, Joaquín; Ruiz Cortés, David (Springer, 2003)
      The web seems to be the biggest existing information repository. The extraction of information from this repository has attracted the interest of many researchers, who have developed intelligent algorithms (wrappers) ...
    • 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 ...