RA2: Comprise the importance to use a formal approach in the development of software of quality. |
A2
|
B2
|
C29 C32 C35
|
D4 D7 D11
|
RA4: Understand how the formal specification languages allow the mathematical verification of the specification and facilitate the automatic code generation. |
|
B10
|
C29 C35
|
D7 D11
|
RA6: Comprise the concepts associated to formal verification |
|
B10
|
C29
|
D7
|