Guia docente 2018_19
E. S. de Enxeñaría Informática
Grao en Enxeñaría Informática
 Materias
  Métodos avanzados de enxeñaría de software
Guía Materia
DATOS IDENTIFICATIVOS 2018_19
Materia Métodos avanzados de enxeñaría de software Código O06G150V01949
Titulacion
Grao en Enxeñaría Informática
Descriptores Cr.totais Carácter Curso Cuadrimestre
6 OP 4 1c
Lingua impartición
Castelán
Galego
Inglés
Prerrequisitos
Departamento Informática
Coordinador/a
Gómez Rodríguez, Alma María
Correo-e alma@uvigo.es
Profesorado
Gómez Rodríguez, Alma María
Web http://faitic.uvigo.es
Descrición xeral A materia ten carácter de introdución e profundización na utilización de métodos baseados na teoría matemática para a definición e construción de sistemas software.
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.
Universidade de Vigo            | Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000