La asignatura Especificación de los sistemas software se encuentra integrada en el Máster de Ingeniería del Software dentro de la materia Ingeniería del desarrollo del Software. Tiene carácter anual y es de tipo optativo. El número de créditos ECTS que se consigue es 9, igual al resto de asignaturas del master.
Las competencias que adquirirán los alumnos mediante el estudio y desarrollo de esta asignatura son con carácter genérico:
- La capacidad para la resolución de problemas en entornos nuevos, como son los sistemas de validación y pruebas formales de código.
- Capacidad para realizar un análisis critico y evaluación de ideas nuevas y complejas. Por ejemplo la modelización mediante lógicas temporales y modales.
- Habilidad de aprendizaje para continuar estudiando y profundizando en el campo de un modo autónomo.
De forma más específica:
- Manejo de sistemas formales y sus herramientas propios de la especificación: lógica, álgebra y programación.
- Saber utilizar algunos de los sistemas de especificación formal: Alloy, NuSMV, Z
- Saber analizar entornos y sus especificaciones para evaluar cual es la herramienta más adecuada para resolver el problema.