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

11/09/2020

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-softw...

Última modificación: 16/04/2021

Noviembre 2024

L M M J V S D
 
 
 
 
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
13
 
14
 
15
 
16
 
17
 
18
 
19
 
20
 
21
 
22
 
23
 
24
 
25
 
26
 
27
 
28
 
29
 
30