XSLaren edukia
Programazioaren Metodologia
- Ikastegia
- Vitoria-Gasteizko Ingeniaritza Eskola
- Titulazioa
- Kudeaketaren eta Informazio Sistemen Informatikaren Ingeniaritzako Gradua
- Ikasturtea
- 2024/25
- Maila
- 1
- Kreditu kopurua
- 6
- Hizkuntzak
- Gaztelania
IrakaskuntzaToggle Navigation
Irakaskuntza mota | Ikasgelako eskola-orduak | Ikaslearen ikasgelaz kanpoko jardueren orduak |
---|---|---|
Magistrala | 45 | 67.5 |
Gelako p. | 15 | 22.5 |
Irakaskuntza-gidaToggle Navigation
HelburuakToggle Navigation
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.
Irakasgai-zerrendaToggle Navigation
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.
MetodologiaToggle Navigation
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-sistemakToggle Navigation
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
Nahitaez erabili beharreko materialaToggle Navigation
- Material de la asignatura (Apuntes y Laboratorios)
- Plataforma Virtual eGela de la UPV/EHU para la asignatura "Metodología de la Programación"
BibliografiaToggle Navigation
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
TaldeakToggle Navigation
01 Teoriakoa (Gaztelania - Goizez)Erakutsi/izkutatu azpiorriak
Asteak | Astelehena | Asteartea | Asteazkena | Osteguna | Ostirala |
---|---|---|---|---|---|
16-30 | 10:00-11:30 | 10:00-11:30 |
Irakasleak
Ikasgela(k)
- AULA 202 - ELURRETA ERAIKINA
- AULA 202 - ELURRETA ERAIKINA
01 Gelako p.-1 (Gaztelania - Goizez)Erakutsi/izkutatu azpiorriak
Asteak | Astelehena | Asteartea | Asteazkena | Osteguna | Ostirala |
---|---|---|---|---|---|
16-30 | 11:30-12:30 |
Irakasleak
Ikasgela(k)
- AULA 202 - ELURRETA ERAIKINA