RA2: Comprender la importancia de utilizar un enfoque formal en el desarrollo de software de calidad.
|
A2
|
|
C29 C32 C35
|
D1 D3 D16
|
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
|
D1 D5 D10 D18 D19
|
RA6: Comprender los conceptos asociados a la verificación formal
|
|
B10
|
C29
|
D7 D16
|