- -

Listar por palabra clave "Diseño por contrato"

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

Listar por palabra clave "Diseño por contrato"

Ordenar por:Orden:Resultados:

  • thumb
    Analysis Techniques for Software Maintenance 
    Pérez Rubio, Sergio (Universitat Politècnica de València, 2023-05-05)
    [ES] Vivimos en una sociedad donde la digitalización está presente en nuestro día a día. Nos despertamos con la alarma de nuestro teléfono móvil, apuntamos nuestras reuniones en nuestro calendario digital, guardamos nuestros ...
  • 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 ...