RA2: Comprender a importancia de utilizar un enfoque formal no desenvolvemento de software de calidade. |
A2
|
B2
|
C29 C32 C35
|
D4 D7 D11
|
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
|
RA6: Comprender os conceptos asociados á verificación formal |
|
B10
|
C29
|
D7
|