El objetivo general es capacitar al estudiante en principios y técnicas del desarrollo de software y en el manejo de especificaciones formales para la evaluación de proyectos de software, enfocados al estudio de casos que traten problemas propios del medio colombiano.
Clases