Curso

Plan

Carácter

Créditos

Primero

1996

Anual/Troncal

9T + 6P

Curso 2006-2007

DESCRIPCIÓN

HORARIOS Y GRUPOS

PROFESORADO

EVALUACIÓN

TEMARIO

BIBLIOGRAFÍA

HERRAMIENTAS

Descripción de la asignatura

  


Metodología de la Programación es la primera asignatura de la Ingeniería en Informática dedicada a la realización de programas informáticos en los estudios de Ingeniería de la Facultad de Informática (UPM).

 

      El objetivo de la asignatura es capacitar a los alumnos para la realización  sistemática de programas informáticos de calidad. Con este fin, la asignatura se desarrolla en un entorno de aprendizaje colaborativo sobre el que se implementan las  pautas metodológicas e instrumentales que permiten al alumno alcanzar las competencias  necesarias para la construcción de buenos programas informáticos.

 

      El lenguaje de programación utilizado es ADA y la asignatura en la modalidad de evaluación continua se desarrolla sobre la plataforma de aprendizaje Moodle.

Grupos

Grupo

Profesor

Aula

      G 1

José Manuel Burgos

6101

      G 2

Javier Galve 

6102

      G 3

Francisco Gisbert

6105

      G 4

Pilar Herrero

6101

      G 5

Julio García

6306

Profesorado

Profesor

Tutorías

Dpcho / ext..

e-mail

José Manuel Burgos

L  12:15 a 14:15

M 12:15 a 14:15

J   12:15 a 14:15

D - 2308

ext. 7453

jmburgos@fi.upm.es

Javier Galve

L  12:15 a 14:15

X  12:15 a 14:15

V  12:15 a 14:15

D - 2307

ext. 7455

jgalve@fi.upm.es

Julio García

L  12:30 a 14:30

X  12:15 a 14:15

V  12:15 a 14:15

D - 2301

ext. 7449

juliog@fi.upm.es 

Francisco Gisbert

L,  14:15 a 16:15

M  14:15 a 16:15

X  14:15 a 16:15

D - 2301
ext. 7449

fgisbert@fi.upm.es 

Pilar Herrero

L  10:00 a 13:00

V 10:15 a 13:15 (cita previa)

D - 2310
ext. 7456

pherrero@fi.upm.es 

Evaluación de la Asignatura

 

NORMAS GENERALES

    

  La asignatura consta de dos partes (P1 y P2) que se corresponden con los dos cuatrimestres del curso. Cada una de esas partes (Pi) tiene unos contenidos téoricos y prácticos y para su evaluación el alumno puede optar por:

  1. El modelo de evaluación continua (EEES), tanto de la parte práctica como de la teórica de la asignatura,, estructurada en sesiones a las que el alumno que elija esta opción deberá asistir obligatoriamente.
  2. La realización de un ejercicio teórico-práctico en las convocatorias oficiales de examen.
Cualquier parte de la asignatura (Pi) aprobada (con calificación igual o superior a 5), se considerará liberada para el curso y su calificación se conservará     hasta la convocatoria de septiembre (después se perderá si no se ha aprobado el curso   completo).

Exámenes

Los ejercicios teórico-prácticos de las convocatorias oficiales se realizarán en las fechas indicadas por el calendario del Centro.

Al examen correspondiente a la convocatoria Extraordinaria de Febrero sólo pueden presentarse los alumnos repetidores. El contenido del examen será el correspondiente al curso 2006-2007
.

 


Temario


PARTE 1: Programación funcional (con lenguaje Ada).

1.-   Elementos básicos de Ada. Tipos numéricos, lógicos y caracteres. Expresiones.

2.-   Salida simple. Paquetes estándar. Formato de un programa Ada.

3.-   Problemas como funciones. Especificación de problemas.

4.-   Funciones en Ada. Problemas elementales.

5.-   Sentencias de selección en Ada. Problemas de distinción de casos.

6.-   Dominios explícitos. Tipos enumerados en Ada.

7.-   Productos cartesianos. Tuplas. Registros en Ada.

8.-   Recorrido de dominios. Recursividad. Problemas de recorrido.

9.-   Colecciones secuenciales de datos. Simulación en Ada.

10.- Taxonomía de problemas. Esquemas de soluciones recursivas.

11.- Complejidad de soluciones recursivas. Notación O.

PARTE 2: Programación  imperativa (con lenguaje Ada).

1.- Acciones. Asignación. Concepto de bloque.

2.- Acciones con nombre. Procedimientos en Ada. Tipos de parámetros.

3.- Control de repeticiones. Bucles en Ada.

4.- Colecciones indexadas de datos. Array´s en Ada.

5.- Array´s multidimensionales. Mapas de dos dimensiones. Matrices.

6.- Esquemas de soluciones iterativas.

7.- Complejidad de soluciones iterativas.

8.- Métodos lineales de ordenación.

9.- Entrada y salida compleja. Ficheros secuenciales en Ada.

Bibliografía

Nell Dale, Chip Weems, John C. McCormicK. Programming and Problem Solving with Ada . Ed. Jones and Bartlett. 1997.

Michael B. Feldman, Elliot B. Koffman: Ada-95: Problem Solving and Program Design. Ed. Addison Wesley, 1995.

J.J. Moreno Navarro: Una Introducción al Desarrollo Sistemático de Programas.  Servicio de Publicaciones FIM, 1996.

J.L. Balcazar: Programación Metódica, Ed. McGraw-Hill, 1993. 

R. Peña: Diseño de Programas: Formalismo y Abstracción, Ed. Prentice-Hall, 1993. 

John Barnes: Programación en Ada. Ed. Díaz de Santos, 1987.

John Barnes: Programming in Ada-95. Ed. Prentice Hall, 1997.

John English: Ada 95: The Craft of Object-Oriented Programming. Ed. Prentice Hall, 1997. Versión electrónica disponible en http://www.it.bton.ac.uk/staff/je/adacraft/

Herramientas

GNAT es la versión GNU de libre distribución del compilador para Ada'95. Los manuales de usuario y de referencia de GNAT están disponibles en varios formatos (pdf, html). Si se desea obtener más información sobre GNAT puede visitarse las páginas Web ( http://www.adahome.com , http://www.informatik.uni-stuttgart.de/ifi/ps/ada-software )


Así mismo, las distribuciones para sistemas Windows, incluye el entorno de desarrollo Ada-GIDE que integra al compilador GNAT con herramientas de edición y depuración.

 

Compilador de ADA 95: Gnat versión 3.13p. Se encuentra disponible en: http://www.gnuada.org/alt.html o directamente a través de ftp en: http://lml.ls.fi.upm.es/ftp/lenguajes/ada/gnat

 

En el Departamento de Publicaciones de la Facultad, puede adquirirse un CD con la totalidad de estas herramientas.