- -

Listar por palabra clave "Contratos software"

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

Listar por palabra clave "Contratos software"

Ordenar por:Orden:Resultados:

  • Icon
    Compresión automática de contratos software 
    Orengo Faus, Sandra María (Universitat Politècnica de València, 2022-10-21)
    [ES] En Ingeniería de Software, el concepto de contrato está relacionado con una especificación del comportamiento de los programas utilizando descripciones que típicamente incluyen precondiciones y postcondiciones. El ...
  • thumb
    Validación Automática de Contratos Software 
    Orengo Faus, Sandra María (Universitat Politècnica de València, 2020-10-21)
    [ES] En Ingeniería de Software, el concepto de contrato está relacionado con una descripción del comportamiento de los programas utilizando precondiciones y postcondiciones de métodos. El estado del arte actual permite ...