Termina "Fundamentos del software: introducción a la programación verificada"

Tras una intensa semana con sesiones todos los días, por la mañana y por la tarde, hoy ha conluído el curso "Fundamentos del software: introducción a la programación verificada".

Este monográfico ha tenido como objetivo enseñar a construir sistemas informáticos libres de errores y capaces de responder a las especificaciones que el usuario le pide. A través de teoría, ejemplificaciones y ejercicios, este curso también ha proporcionado un marco práctico para el aprendizaje de sus alumnos, quienes como trabajo final han desarrollado un sistema verificado a pequeña escala. Además, dadas las especiales circunstancias por las que estamos pasando, este curso se ha desarrollado a través de formato online, con sesiones magistrales llevadas a cabo por videoconferencia.

Más información: https://cursosextraordinarios.unizar.es/curso/2020/fundamentos-del-software-introduccion-la-programacion-verificada