1. Modelos de ciclo de vida del software. -Problemas. -Referencias. - 2. Conceptos y modelado orientados a objetos. - 2. 1. Conceptos básicos del paradigma orientado a objetos. - 2. 2. Modelado de objetos. - 2. 3. Modelos de objetos avanzados. -Problemas. -Referencias. - 3. Especificación formal y verificación. - 3. 1. Lógica de primer orden. - 3. 2. Lógica y base de datos. - 3. 3. Especificación formal en Z. - 3. 4. Sistema lógico orientado a objetos. - 3. 5. Especificaciones algebraicas. - 3. 6. Redes de Petri. - 3. 7. Verificación de especificaciones. - 3. 8. Observaciones finales. -Problemas. -Referencias. - 4. Metodologías y especificaciones de diseño. - 4. 1. Conceptos de diseño. - 4. 2. Lenguajes de descripción de procesos y metodologías de diseño. - 4. 3. Modelado dinámico y funcional. - 4. 4. Metodologías de diseño orientado a objetos. - 4. 5. Herramientas de verificación de diseño y CASE. -Problemas. -Referencias. - 5. Programación y codificación. - 5. 1. Lenguajes de programación orientados a objetos. - 5. 2. C++. - 5. 3. CHARLA PEQUEÑA. - 5. 4. Lenguajes de programación distribuidos. - 5. 5. Comunicación de procesos secuenciales y OCCAM. -Problemas. -Referencias. - 6. Herramientas de programación. - 6. 1. Programación orientada a objetos para Windows. - 6. 2. IDEAn entorno de programación interactiva. - 6. 3. Programación X-Window. - 6. 4. Programación de redes UNIX. -Problemas. -Referencias. - 7. Programación declarativa. - 7. 1. Programación de muy alto nivel. - 7. 2. Programación declarativa orientada a objetos. - 7. 3. Programación lógicaPROLOG. - 7. 4. COMPOSEEn entorno de programación orientado a objetos. -Problemas. -Referencias. - 8. Síntesis y reutilización automática de programas. - 8. 1. Síntesis deductiva del programa. - 8. 2. Síntesis del programa transformacional. - 8. 3. Abstracción y creación de instancias de programas. - 8. 4. Reutilización automática de software. -Problemas. -Referencias. - 9. Verificación y prueba del programa. - 9. 1. Verificación formal del programa. - 9. 2. Pruebas de caja negra. - 9. 3. Pruebas estructurales. -9. 4. Pruebas basadas en errores. - 9. 5. Generación automática de casos de prueba. - 9. 6. Prueba y depuración de programas distribuidos. - 9. 7. Herramientas de análisis y métricas de software. -Problemas. -Referencias. - 10. Mantenimiento de software. - 10. 1. Componentes del mantenimiento del software. - 10. 2. Mantenimiento de bases de datos y software. - 10. 3. Bases de objetos de programación. - 10. 4. Gestión del programa. - 10. 5. Ingeniería inversa y recuperación de diseño. -Problemas. -Referencias. - 11. Entornos de programación avanzados. - 11. 1. Entornos de programación basados en el conocimiento. - 11. 2. Entornos de programación visual. - 11. 3. Sistemas de programación orientados a objetos distribuidos. - 11. 4. Software de componentes. - 11. 5. Entornos de programación para ingeniería concurrente. -Referencias. - 12. Otros temas seleccionados. - 12. 1. Gestión de proyectos. - 12. 2. Diseño del sistema tolerante a fallas. - 12. 3. Simulación de eventos discretos. - 12. 4. Programación de Internet. -Referencias. Idioma: Inglés