Tema 1. Abstracciones y Especificaciones.

1.1. Introducción.

1.2. Especificaciones informales.

1.2.1. Abstracciones funcionales.

1.2.2. Abstracciones de datos.

1.2.3. Abstracciones de iteradores.

1.3. Especificaciones formales.

1.3.1. Método axiomático (o algebraico).

1.3.2. Método constructivo (u operacional).

Diapositiva siguiente

Ir a la primera diapositiva

Ver versión gráfica