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

Resultados previstos en la materia

Resultados previstos en la materia	Resultados de Formación y Aprendizaje
RA1: Conocer y comprender las principales características de los métodos formales aplicados a las tareas de Ingeniería del Software.	A4	B10	C8 C26 C35	D4 D11
RA2: Comprender la importancia de utilizar un enfoque formal en el desarrollo de software de calidad.	A2	B2	C29 C32 C35	D4 D7 D11
RA3: Especificar y modelar los requerimientos planteados por los usuarios utilizando lenguajes formales de especificación.	A2	B2 B9 B10	C8 C13 C26 C29 C35 C36	D6 D10
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
RA5: Utilizar adecuadamente las herramientas de modelado formal en las actividades de especificación del software.	A2	B2 B9	C8 C13 C35 C36
RA6: Comprender los conceptos asociados a la verificación formal		B10	C29	D7
RA7: Ser capaz de validar una aplicación software formalmente descrita.	A2	B2 B10	C29 C35 C36	D6 D7