- -

Inferencia de especificaciones para programas C

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

Inferencia de especificaciones para programas C

Show full item record

Pardo Pont, D. (2015). Inferencia de especificaciones para programas C. http://hdl.handle.net/10251/67889

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

Files in this item

Item Metadata

Title: Inferencia de especificaciones para programas C
Author: Pardo Pont, Daniel
Director(s): Villanueva García, Alicia Alpuente Frasnedo, María
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2015-07-22
Issued date:
Abstract:
[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 ...[+]
Subjects: Inferencia automática , Especificaciones , Ejecución simbólica , Specifications , Automatic inference , Symbolic execution
Copyrigths: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Publisher:
Universitat Politècnica de València
degree: Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
Type: Tesis de máster

recommendations

 

This item appears in the following Collection(s)

Show full item record