Guia docente 2020_21
E. S. de Enxeñaría Informática
Grado en Ingeniería Informática
 Asignaturas
  Métodos avanzados de ingeniería de software
   Resultados de aprendizaje
Resultados de aprendizaje Competencias
RA1: Conocer y comprender las principales características de los métodos formales aplicados a las tareas de Ingeniería del Software. CB4
CG10
CE8
CE26
CE35
CT4
CT11
RA2: Comprender la importancia de utilizar un enfoque formal en el desarrollo de software de calidad. CB2
CG2
CE29
CE32
CE35
CT4
CT7
CT11
RA3: Especificar y modelar los requerimientos planteados por los usuarios utilizando lenguajes formales de especificación. CB2
CG2
CG9
CG10
CE8
CE13
CE26
CE29
CE35
CE36
CT6
CT10
RA4: Entender cómo los lenguajes de especificación formal permiten la verificación matemática de la especificación y el código y facilitan la generación automática de código. CG10
CE29
CE35
CT7
CT11
RA5: Utilizar adecuadamente las herramientas de modelado formal en las actividades de especificación del software. CB2
CG2
CG9
CE8
CE13
CE35
CE36
RA6: Comprender los conceptos asociados a la verificación formal CG10
CE29
CT7
RA7: Ser capaz de validar una aplicación software formalmente descrita. CB2
CG2
CG10
CE29
CE35
CE36
CT6
CT7
Universidade de Vigo            | Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000