Metodología de la Programación UPV/EHU

Esta página contiene el material docente que se usa durante las clases, tanto teóricas como prácticas. Dicho material no puede considerarse como los "apuntes de clase", sino que es simplemente el material que da soporte a las clases.

El texto que aparece subrayado es un enlace al material correspondiente.

Al final de esta página hay también soluciones de exámenes previos.

Exámenes del 29 de Mayo de 2013

Aula 1.7

Evaluación Global: 9:00 -12:30

Tercer Parcial: 9:00 - 11:30

Todo/a estudiante cuyo 0,2.N1 + 0,4.N2 sea igual o superior a 4, podrá opcionalmente realizar un examen para mejorar su calificación. El enunciado de dicho examen podrá ser recogido por el/la estudiante cuando este/a entregue su solución del tercer parcial. Este examen también finaliza a las 12:30.

PROGRAMA
Tema 1.- INTRODUCCIÓN 1.1.- Especificación, corrección y diseño por contrato
Tema 2.- ESPECIFICACIÓN DE PROGRAMAS 2.1.- Aserciones: Fórmulas como conjuntos de estados 2.2.- Especificación formal pre-post	(Ejercicios 1)
Tema 3.- VERIFICACIÓN DE PROGRAMAS 3.1.- El sistema formal de Hoare 3.2.- La asignación 3.3.- La composición secuencial 3.4.- Las instrucciones condicionales 3.5.- Las iteraciones: Invariantes 3.6.- Terminación de iteraciones	(Ejercicios 2) (Ejercicios 3) (Ejercicios 4)
Tema 4.- DISEÑO Y VERIFICACIÓN DE PROGRAMAS RECURSIVOS 4.1.- Definiciones recursivas 4.2.- Algoritmos recursivos 4.3.- Verificación de programas recursivos.	(Ejercicios 5)
Tema 5.- ESPECIFICACIÓN ECUACIONAL DE TAD 5.1.- Tipos abstractos de datos 5.2.- La técnica de especificación ecuacional 5.3.- Tipos abstractos de datos básicos 5.4.- Deducción ecuacional	(Ejercicios 6)
Tema 6.- TRANSFORMACIÓN RECURSIVO-ITERATIVO 6.1.- Introducción 6.2.- El método de Burstall: Ejemplo sencillo 6.3.- El método de Burstall: Esquema 6.4.- Principales generalizaciones del esquema	(Ejercicios 7)