Guia docente 2019_20
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
   Resultados de aprendizaxe
Resultados previstos na materia Resultados de Formación e Aprendizaxe
RA1: Coñecer e comprender as principais características dos métodos formais aplicados ás tarefas de Enxeñaría do Software. A4
B10
C8
C12
C26
C35
D3
D9
D15
RA2: Comprender a importancia de utilizar un enfoque formal no desenvolvemento de software de calidade. A2
C29
C32
C35
D1
D3
D16
RA3: Especificar e modelar os requirimentos expostos polos usuarios utilizando linguaxes formais de especificación. B2
B10
C5
C13
C26
C29
C35
C36
D5
D9
D10
RA4: Entender como as linguaxes de especificación formal permiten a verificación matemática da especificación e o código e facilitan a xeración automática de código. B10
C29
C35
D1
D5
D10
D18
D19
RA5: Utilizar adecuadamente as ferramentas de modelado formal nas actividades de especificación do software. A2
B2
C5
C8
C13
C35
C36
D1
D5
D16
D20
D22
RA6: Comprender os conceptos asociados á verificación formal B10
C29
D7
D16
RA7: Ser capaz de validar unha aplicación software formalmente descrita. B10
C12
C29
D9
D16
Universidade de Vigo            | Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000