Estadísticas del PDF: Tema 4 - Tecnología de la Programación

UNIVERSIDAD DE A CORUÑA
FACULTAD DE INFORMÁTICA

DEPARTAMENTO DE COMPUTACIÓN

Tecnología de la Programación

Ingeniería Técnica en Informática de Sistemas

Elena Mª Hernández Pereira

Óscar Fontenla Romero

Bloque didáctico II: Semántica de programas

Tema 4

o Título: Uso de aserciones en la

documentación de programas

o Unidades de contenido

• Especificación de programas
• Representación de valores iniciales y finales

de variables

• Esquemas de prueba

Tecnología de la programación - Ele...