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.