RA2: Comprender la importancia de utilizar un enfoque formal en el desarrollo de software de calidad. |
A2
|
B2
|
C29 C32 C35
|
D4 D7 D11
|
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. |
|
B10
|
C29 C35
|
D7 D11
|
RA6: Comprender los conceptos asociados a la verificación formal |
|
B10
|
C29
|
D7
|