Guia docente 2023_24 Escola Superior de Enxeñaría Informática

Expected results from this subject

Expected results from this subject	Training and Learning Results
RA1: Know and comprise the main characteristics of the formal methods applied to the tasks of Software Engineering.	A4	B10	C8 C26 C35	D4 D11
RA2: Comprise the importance to use a formal approach in the development of software of quality.	A2	B2	C29 C32 C35	D4 D7 D11
RA3: Specify and model the requests exposed by users using a formal languages of specification.	A2	B2 B9 B10	C8 C13 C26 C29 C35 C36	D6 D10
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
RA5: Use properly the tools of formal models in the activities of software specification.	A2	B2 B9	C8 C13 C35 C36
RA6: Comprise the concepts associated to formal verification		B10	C29	D7
RA7: Be able of validating a software application formally described.	A2	B2 B10	C29 C35 C36	D6 D7