The subject has character of introduction and deepening in the utilization of mathematical based methods for the definition and construction of software systems.
English Friendly subject: International students may request from the teachers: a) materials and bibliographic references in English, b) tutoring sessions in English, c) exams and assessments in English.
Na materia tratarase de coñecer os principais métodos formais de definición e refinamiento de programas.
As prácticas da materia impartiranse en inglés, quedando o castelán e galego reservados para o ámbito teórico.