La asignatura de Metodología de la Programación introduce al alumno al campo del desarrollo formal de software. En esta asignatura, que se imparte con posterioridad a Programación Básica, se introducirán los conceptos básicos necesarios para crear y ejecutar programas de ordenador, enfatizando los métodos formales de especificación.

Especificación, corrección y diseño por contrato

Especificación formal pre-post

Test de programas y pruebas unitarias

El sistema formal de Hoare

La técnica de especificación ecuacional

El método de Burstall.

El método de derivación formal.

INTRODUCCIÓN Especificación, corrección y diseño por contrato

ESPECIFICACIÓN DE PROGRAMAS Especificación formal pre-post

VALIDACIÖN DE PROGRAMAS Test de programas y pruebas unitarias

VERIFICACIÓN DE PROGRAMAS El sistema formal de Hoare

ESPECIFICACIÓN ECUACIONAL DE TAD Tipos abstractos de datos. La técnica de especificación ecuacional

DERIVACIÓN FORMAL DE ITERACIONES El método de Burstall. El método de derivación formal.

En las clases magistrales se realizarán sesiones de exposición de conceptos, reforzados con ejemplos de situaciones en que dichos conceptos se han de emplear.



En las clases de ejercicios se desarrollarán un conjunto de ejercicios. Los ejercicios a realizar plantean problemas informáticos que los alumnos deberán realizar de la forma más autónoma posible.

• Ebaluazio Jarraituaren Sistema
• Azken Ebaluazioaren Sistema
• Kalifikazioko tresnak eta ehunekoak:
  • Garatu beharreko proba idatzia (%): 100

La evaluación de la asignatura se realiza en dos convocatorias, la convocatoria ordinaria y la convocatoria extraordinaria.





EVALUACIÓN DE LA CONVOCATORIA EXTRAORDINARIA:



- Examen a realizar en caso de no haberse presentado o no haber superado la convocatoria ordinaria de la asignatura

- Examen sobre el total de contenidos de la asignatura

- Nota mínima de 5 sobre 10 puntos en el examen para aprobar la asignatura





EVALUACIÓN DE LA CONVOCATORIA ORDINARIA:



La evaluación de la convocatoria ordinaria se realiza mediante controles, en los cuales los alumnos deberán demostrar que han adquirido los conocimientos y las competencias impartidas en la asignatura.



Controles:

1er Control (Tema 1): 20 %

2º Control (Tema 2 y 3): 20 %

3er Control (Tema 3): 30 %

4º Control (Tema 4): 30 %



Requisitos para aprobar la convocatoria ordinaria sin examen final

- Nota mínima de 5 en la suma de todos los controles

- Nota mínima de 25% de la nota de cada control



Examen final ordinario:



Podrán presentarse únicamente quienes, no habiendo alcanzado los requisitos para aprobar la convocatoria ordinaria sin examen final, hayan realizado al menos tres controles



El examen se dividirá en cuatro bloques correspondientes a cada control

- Se podrán realizar los bloques que se deseen

- Se mantendrán las notas de los controles anteriores cuyos bloques no se realicen en este examen

- Se perderá la nota de los controles en los bloques que se realicen en este examen a efectos del cálculo de la nota final



Requisitos para aprobar la convocatoria ordinaria:

- Nota mínima de 5 en la suma de todos los bloques/controles

- Nota mínima de 25% en cada bloque/control

- Examen a realizar en caso de no haberse presentado o no haber superado la convocatoria ordinaria de la asignatura

- Examen sobre el total de contenidos de la asignatura

- Nota mínima de 5 sobre 10 puntos en el examen para aprobar la asignatura

- Material de la asignatura (Apuntes y Laboratorios)
- Plataforma Virtual eGela de la UPV/EHU para la asignatura "Metodología de la Programación"

Oinarrizko bibliografia

Programen Egiaztapena eta Eratorpena. X. Arregi, A. Díaz de Ilaraza, P. Lucio. Udako euskal Unibersitatea, 1993.

Metodología y Tecnología de la Programación II. M. Díaz Roca,, J. C. Rodríguez del Pino. Univ. Palmas Gran Canaria, 2004.

Verificación de Programas y Metodología de la Programación. A. Díaz de Ilarraza, P. Lucio. Servicio Editorial Universidad del País Vasco, 1990.

Program Derivation. The Development of Programs from Specifications. G. Dromey. Addison-Wesley, 1989.

Gehiago sakontzeko bibliografia

Program Construction and Verification. R. C. Backhouse. Prentice-Hall, 1986. Programación metódica. J.L. Balcázar. MacGraw-Hill, 1993. Diseño de Programas.- Formalismo y Abstracción. Ricardo Peña. Prentice Hall, 1998.

Aldizkariak

Acta Informatica Programming and Computer Software Science of Computer Programming Software Quality Journal Transactions on Software Engineering and Methodology

Web helbideak

http://www.sc.ehu.es/jiwlucap/metodologia.html http://en.wikipedia.org/wiki/Formal_verification http://en.wikipedia.org/wiki/Design_by_contract