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