Guia docente 2023_24 Escuela Superior de Ingeniería Informática

Resultados previstos na materia

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 C26 C35	D4 D11
RA2: Comprender a importancia de utilizar un enfoque formal no desenvolvemento de software de calidade.	A2	B2	C29 C32 C35	D4 D7 D11
RA3: Especificar e modelar os requirimentos expostos polos usuarios utilizando linguaxes formais de especificación.	A2	B2 B9 B10	C8 C13 C26 C29 C35 C36	D6 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	D7 D11
RA5: Utilizar adecuadamente as ferramentas de modelado formal nas actividades de especificación do software.	A2	B2 B9	C8 C13 C35 C36
RA6: Comprender os conceptos asociados á verificación formal		B10	C29	D7
RA7: Ser capaz de validar unha aplicación software formalmente descrita.	A2	B2 B10	C29 C35 C36	D6 D7