The subject introduces and makes a deeper approach in the use of mathematical based methods in the definition and development of software systems.
These methods will be used in definition and refinement of programs.
English Friendly subject: International students may request from the teachers: a)
resources and bibliographic references in English, b) tutoring sessions in English, c) exams
and assessments in English