- -

Listar por palabra clave "Software contracts"

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

Listar por palabra clave "Software contracts"

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
    Traducción de contratos software a un lenguaje de especificación estándar 
    Rodríguez José, Luis Carlo (Universitat Politècnica de València, 2024-09-10)
    [ES] El diseño por contrato es una metodología de programación que requiere que el programador proporcione, en tiempo de diseño, contratos (o anotaciones) que definen el comportamiento del código. Los contratos tienen ...
  • 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 ...