Tesis doctorales, proyectos y otras publicaciones, una base fundamental
en la ampliación y desarrollo de los conocimientos científicos.

Documentos
disponibles
Artículos (1584)
Libros (343)
Monografías (118)
Otros (129)
Ponencias (1310)
Proyectos (559)
Tesis (9260)

Implementación de métodos de verificación de programas



Título de la tesis:
Implementación de métodos de verificación de programas
Autor/es:
Chicharro García, Rafael - Laita de la Rica, Luis
Tipo de documento:
Proyecto Fin de Carrera
Universidad:
Facultad de Informática (UPM)
Departamento:
Inteligencia Artificial
Idioma:
Castellano
Palabras clave:
Fecha de la defensa:
2009-01-01
Notas:
Tesis dirigida por: Laita de la Rica, Luis

Resumen: Un programa de ordenador puede considerarse como una función que lanza los individuos de un conjunto que se puede llamar "conjunto de estados de entrada" y otro conjunto que se puede denominar "conjunto de estados de salida". Si la función envía los elementos del "conjunto de entrada" dentro del "conjunto de salida" se dice que el programa representado por la función es correcto. El proceso de verificar la corrección de un programa se denomina "verificar el programa". Este es el objeto de este Proyecto Fin de Carrera. Confeccionar programas se puede considerar, según Gries, como un arte, pero ...
Valoración:


Danos tu valoración:
1 2 3 4 5 6 7 8 9 10




Tesis y otros documentos relacionados

Añade un enlace nuestro
en tu blog, sitio web o foro



Tesis Doctorales, Proyectos de fin de carrera, Monografías, Artículos, Ponencias y otros documentos y recursos educativos.
© Tesisde.org 2010 - Terminos y Condiciones | Contáctenos

eXTReMe Tracker