La materia tiene carácter de introducción y profundización en la utilización de métodos basados en la teoría matemática para la definición y construcción de sistemas software.
En la asignatura se tratará de conocer los principales métodos formales de definición y refinamiento de programas.
Materia del programa English Friendly: Los/as estudiantes internacionales podrán solicitar al profesorado: a) materiales y referencias bibliográficas para el seguimiento de la materia en inglés, b) atender las tutorías en inglés, c) pruebas y evaluaciones en inglés.