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

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)

• Objetivo general Establecer los conocimientos generales sobre calidad del software, modularidad, programación orientada a objetos y verificación y validación de algoritmos.
• Objetivos específicos
  1. Conocer diferentes modelos de ciclo de vida del software.
  2. Reconocer las características fundamentales de calidad de los diseños modulares.
  3. Conocer la aportación que la Orientación al Objeto hace al desarrollo del software.
  4. Conocer los conceptos de clase y objeto.
  5. Conocer los mecanismos de herencia y genericidad.
  6. Saber diseñar programas utilizando el paradigma orientado a objetos y sus mecanismos de herencia y genericidad.
  7. Conocer el concepto de programación bajo contrato.
  8. Abordar la prueba y depuración de programas siguiendo las estrategias más adecuadas, de una forma sistemática.
  9. Saber verificar formalmente algoritmos, incluidos los recursivos.
  10. Conocer el lenguaje SmartEiffel y manejar la biblioteca de clases del mismo.

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