El propósito de este taller es sensibilizar a los participantes en la importancia que tiene el uso de métodos y técnicas formales al momento de desarrollar un sistema software, ya sea de manera individual o trabajando en equipo. La idea principal que se quiere transmitir en este taller es que el desarrollo de software no es únicamente “picar código y hacer todo para ayer”, si no que se requiere de un proceso formal para que el simple hecho de programas pueda ser llamado desarrollo de software.