A continuación se presentan ideas para Proyectos de Título, disponibles para Ingeniería Ejecución Informática, Ingeniería Civil Informática, o Magister en Informática. Dependiendo del nivel del estudiante, y de la carrera en la que está haciendo su proyecto, será el nivel de dificultad y la profundidad a realizar en el proyecto.

Ante cualquier consulta no dudes en escribirme a ismael.figueroa@pucv.cl
Si te interesa realizar tu proyecto conmigo, debes leer y aceptar las reglas del juego

Ingeniería Empírica de Software

La Ingeniería Empírica de Software (EMSE por EMpirical Software Engineering) es una disciplina que fomenta el uso de enfoques prácticos, empíricos, y basados en evidencia experimental, para apoyar los procesos de desarrollo de software. Actividades usuales en ESE son: estudio de casos, experimentos controlados, minería de repositorios de software, técnicas cuantitativas de análisis de software, etc. Puedes encontrar una breve introducción en español en http://osg2.blogspot.cl/

Ver Proyectos

Verificación de Software

La verificación formal del software consiste en la aplicación de métodos lógicos y/o matemáticos para poder demostrar formalmente que un programa o sistema satisface una propiedad buena (por ejemplo, calcula correctamente algo), o que nunca ocurre algo malo (por ejemplo, nunca usamos un puntero nulo). La verificación basada en lenguajes utiliza el código fuente como el modelo de análisis para así demostrar las propiedades buscadas. La forma más utilizada de verificación en lenguajes consiste en el uso de precondiciones y postcondiciones, las que permiten razonar sobre la evaluación secuencial de un programa.

Ver Proyectos

Enseñanza de la Programación

La enseñanza de la programación es un tema sorprendentemente complejo y que mezcla disciplinas como la teoría de la computación, lenguajes de programación, y estrategias de enseñanza, aprendizaje y evaluación. Mi enfoque actual es en el desarrollo de herramientas para obtener feedback de alta calidad, de manera automática o semi-automática.

Ver Proyectos

Música y Computación

Proyectos relacionados con música popular: herramientas para notación, análisis de archivos MIDI, análisis armónico a gran escala, auto-acompañamiento, y otros temas misceláneos relacionados con la música y la computación.

Ver Proyectos

Proyectos Especiales

Proyectos de Desarrollo que no van en las categorías anteriores :-D

Ver Proyectos