- -

Traducción de contratos software a un lenguaje de especificación estándar

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Traducción de contratos software a un lenguaje de especificación estándar

Mostrar el registro completo del ítem

Rodríguez José, LC. (2024). Traducción de contratos software a un lenguaje de especificación estándar. Universitat Politècnica de València. http://hdl.handle.net/10251/207895

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/207895

Ficheros en el ítem

Metadatos del ítem

Título: Traducción de contratos software a un lenguaje de especificación estándar
Otro titulo: Translating software contracts to a standard specification language
Traducció de contractes software a un llenguatge d'especificació estàndard
Autor: Rodríguez José, Luis Carlo
Director(es): Villanueva García, Alicia
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha acto/lectura:
2024-07-23
Fecha difusión:
Resumen:
[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 ...[+]


[EN] Design by contract is a programming methodology that requires the programmer to provide, at design time, contracts (or annotations) that define the behavior of the code. Contracts have numerous uses in this context. ...[+]
Palabras clave: Diseño por contrato , Contratos de software , Especificación de programas C , Design by contract , Software contracts , C code specification
Derechos de uso: Reserva de todos los derechos
Editorial:
Universitat Politècnica de València
Titulación: Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
Tipo: Tesis de máster

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem