Título de la tesis:

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: