- -

Añadidos recientemente

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Departamento Sistemas Informáticos y Computación (DSIC): Enviados recientemente

  • thumb
    Innermost Termination of Context-Sensitive Rewriting 
    Alarcón Jiménez, Beatriz; Lucas, Salvador (Universitat Politècnica de València, 2011-05-04)
    Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude, OBJ, etc, which incorporate an innermost strategy which is used to ...
  • thumb
    Backward Trace Slicing for Rewriting Logic Theories -Technical report - 
    Alpuente Frasnedo, María; Ballis, Demis; Espert, Javier; Romero, Daniel (Universitat Politècnica de València, 2011-04-19)
    Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used ...
  • thumb
    Backward Trace Slicing for Rewriting Logic Theories -Technical report - 
    Alpuente Frasnedo, María; Ballis, D.; Espert, J.; Romero, D. (Universitat Politècnica de València, 2011-04-19)
    Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used ...
  • thumb
    Robustness, Stability, Recoverability and Reliability in Dynamic Constraint Satisfaction Problems 
    Barber Sanchís, Federico; Salido Gregorio, Miguel Angel (Universitat Politècnica de València, 2011-04-11)
    Many real-world problems in Artificial Intelligence (AI) as well as in other areas of computer science and engineering can be efficiently modeled and solved using constraint programming techniques. In many real-world ...
  • thumb
    Review of Requirement Engineering Approaches for Software Product Lines 
    Blanes Domínguez, David; Insfrán Pelozo, César Emilio (Universitat Politècnica de València, 2011-03-09)
    The Software Product Lines (SPL) paradigm is one of the most recent topics of interest for the software engineering community. On the one hand, the Software Product Lines is based on a reuse strategy with the aim to reduce ...