Accesos directos a las distintas zonas del curso
Ir a los contenidos
Ir a menú navegación principal
Ir a menú pie de página
Subject's code : 31105024
RESULTADOS DE APRENDIZAJE
Los resultados de aprendizaje que se espera alcanzar con esta asignatura por parte del estudiante son:
Comprender bien el papel de la especificación.
Comprender la necesidad de utilizar métodos formales de especificación.
Conocer los sistemas lógicos y tener habilidad para expresar requisitos através de ellos.
Conocer el funcionamiento de la herramienta Alloy. Esta herramienta genera modelos para requisitos expresados en lenguaje de predicados.
Conocer los límites de la expresividad en la lógica clásica y aprender algunas de sus extensiones: lógica temporal y modal.
