La asignatura busca dar a conocer las nociones formales en cuanto al refinamiento de especificaciones de software se refiere, con el único objetivo de lograr implementaciones de software correctas, practicando estas nociones con ejemplos concretos.