Programación II

Enlaces

Novedades Programa Bibliografía Prácticas Evaluación Software Descarga de software Documentación Foros

Docentes

Félix Prieto

Otros enlaces

SmartEiffel ISE Eiffel eGTK Eiffel en Wikipedia Eiffel FAQ Como no hacer una práctica de programación

Aviso

Esta asignatura ha quedado definitivamente «extinta». La información de esta página se mantiene exclusivamente con propósitos informativos.

Información para el curso 2012/2013

Para este curso se mantiene el programa de la asignatura, pero se elimina la entrega de prácticas. La evaluación se basará exclusivamente en el examen, que será del mismo estilo y con el mismo tipo de preguntas y problemas que en años anteriores.

También se ha eliminado el foro de la asignatura, dada su escaso éxito durante el curso pasado, en todo caso seguiré atendiendo las consultas por correo electrónico como hasta ahora.

Para consultas más directas, se pueden utilizar los horarios de tutoría, aunque sería preferible solicitar cita previa por correo electrónico.

Como siempre, avisaré de la publicación de las listas de calificaciones por este medio, y las mismas podrán ser consultadas mediante SIGMA

Presentación

Esta página contiene información útil para la asignatura Programación II de Ingeniería Técnica en Informática de Gestión en el curso 2009/2010. Si alguna de las informaciones anunciadas aún no está disponible revise la página regularmente, pues irá actualizándose a lo largo del cuatrimestre.

Objetivos (ITI Gestión)

Descripción

La asignatura se inicia con una introducción a los conceptos de Ingeniería del Software, Ciclo de Vida y Calidad del Software. Se introducirán a continuación conceptos fundamentales de modularidad como son cohesión y acoplamiento, para finalmente ilustrar las limitaciones de la programación modular que justifican la introducción de técnicas de programación orientada a objetos.

En la segunda parte se introducen los elementos básicos de la orientación a objetos, clases y objetos, y se estudian las técnicas básicas de este paradigma, incluida la genericidad y una somera introducción al concepto de herencia.

En la tercera parte se estudian las técnicas que permiten garantizar la calidad del software construído. Se estudian estrategias de prueba de unidad y técnicas de verificación formal de algoritmos con su aplicación a la programación bajo contrato.

Publicación de las calificaciones

Además de en los tablones de la escuela, las calificaciones de los examenes y las fechas de revisión serán publicadas en SIGMA