- -

Inferencia de especificaciones para programas C

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Inferencia de especificaciones para programas C

Mostrar el registro completo del ítem

Pardo Pont, D. (2015). Inferencia de especificaciones para programas C. Universitat Politècnica de València. http://hdl.handle.net/10251/67889

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

Ficheros en el ítem

Metadatos del ítem

Título: Inferencia de especificaciones para programas C
Autor: Pardo Pont, Daniel
Director(es): Villanueva García, Alicia Alpuente Frasnedo, María
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2015-07-22
Fecha difusión:
Resumen:
[EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this Master ...[+]


[ES] A pesar de los abundantes beneficios que ofrecen, las especificaciones formales no acostumbran a emplearse en el desarrollo industrial de software. Con la finalidad de reducir el tiempo y el esfuerzo requerido para ...[+]
Palabras clave: Inferencia automática , Especificaciones , Ejecución simbólica , Specifications , Automatic inference , Symbolic execution
Derechos de uso: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
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