Search Results - DEL VADO VIRSEDA, Rafael

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications

    A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications by del Vado Virseda, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications

    An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications by Víırseda, Rafael del Vado, Morente, Fernando Pérez

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    A learning methodology based on semantic tableaux for software engineering education

    A learning methodology based on semantic tableaux for software engineering education by del Vado Virseda, R

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs

    An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs by Vírseda, Rafael del Vado, Morente, Fernando Pérez

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    A new generic scheme for functional logic programming with constraints

    A new generic scheme for functional logic programming with constraints by LOPEZ FRAGUAS, Francisco J, RODRIGUEZ ARTALEJO, Mario, DEL VADO VIRSEDA, Rafael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Constraint functional logic programming over finite domains

    Constraint functional logic programming over finite domains by Fernandez, Antonio J, Hortala-Gonzalez, Teresa, Saenz-Perez, Fernando, Del Vado-Virseda, Rafael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains

    A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains by del Vado Vírseda, Rafael

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    A Logical Framework for Debugging in Declarative Constraint Programming

    A Logical Framework for Debugging in Declarative Constraint Programming by del Vado Vírseda, Rafael

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Constraint Functional Logic Programming Revisited

    Constraint Functional Logic Programming Revisited by López-Fraguas, F. Javier, Rodríguez-Artalejo, Mario, del Vado Vírseda, Rafael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Constraint Functional Logic Programming over Finite Domains

    Constraint Functional Logic Programming over Finite Domains by Fernandez, Antonio J, Hortala-Gonzalez, Teresa, Saenz-Perez, Fernando, Rafael del Vado-Virseda

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: