Conocer y comprender las principales características de los métodos formales aplicados a las tareas de Ingeniería del Software.

Comprender la importancia de utilizar un enfoque formal en el desarrollo de software de calidad.

Especificar y modelar los requerimientos planteados por los usuarios utilizando lenguajes formales de especificación.

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.

Utilizar adecuadamente las herramientas de modelado formal en las actividades de especificación del software.

Comprender los conceptos asociados a la verificación formal

Ser capaz de validar una aplicación software formalmente descrita.

• Informática

• Gómez Rodríguez, Alma María
• Otero Cerdeira, Lorena
• Rodríguez Martínez, Francisco Javier

• Gómez Rodríguez, Alma María