A materia ten carácter de introducción e profundización na utilización de métodos basados na teoría matemática para a definición e construcción de sistemas software.
Na asignatura se tratará de coñecer os principais métodos formales de definición e refinamento de programas.