Menua Webgunearen menua ireki/itxi

XSLaren edukia

Programazioaren Metodologia26013

Ikastegia
Vitoria-Gasteizko Ingeniaritza Eskola
Titulazioa
Kudeaketaren eta Informazio Sistemen Informatikaren Ingeniaritzako Gradua
Ikasturtea
2021/22
Maila
1
Kreditu kopurua
6
Hizkuntzak
Gaztelania
Kodea
26013

IrakaskuntzaToggle Navigation

Orduen banaketa irakaskuntza motaren arabera
Irakaskuntza motaIkasgelako eskola-orduakIkaslearen ikasgelaz kanpoko jardueren orduak
Magistrala4567.5
Gelako p.1522.5

Irakaskuntza-gidaToggle Navigation

Irakasgaiaren Azalpena eta Testuingurua zehazteaToggle Navigation

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.

Gaitasunak / Irakasgaia Ikastearen EmaitzakToggle 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.

Eduki teoriko-praktikoakToggle 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

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

Ohiko Deialdia: Orientazioak eta Uko EgiteaToggle 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

Ezohiko deialdia: Orientazioak eta Uko EgiteaToggle Navigation

- 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



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

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

5., 6. eta salbuespenezko deialdien epaimahaiaToggle Navigation

  • ETXEBERRIA AGIRIANO, ISMAEL
  • FERNANDEZ GAUNA, BORJA
  • LOPEZ DE LACALLE LECUONA, OIER

TaldeakToggle Navigation

01 Teoriakoa (Gaztelania - Goizez)Erakutsi/izkutatu azpiorriak

Egutegia
AsteakAstelehenaAstearteaAsteazkenaOstegunaOstirala
16-30

10:30-12:00 (1)

10:00-11:30 (2)

Irakasleak

Ikasgela(k)

  • AULA 211 - ELURRETA IKASGELATEGIA (1)
  • AULA 211 - ELURRETA IKASGELATEGIA (2)

01 Gelako p.-1 (Gaztelania - Goizez)Erakutsi/izkutatu azpiorriak

Egutegia
AsteakAstelehenaAstearteaAsteazkenaOstegunaOstirala
16-30

13:00-14:00 (1)

Irakasleak

Ikasgela(k)

  • AULA 211 - ELURRETA IKASGELATEGIA (1)