Criterios de evaluación
El curso se aprueba con la realización del siguiente trabajo personal:
1.
Especificación completa de alguno de los supuestos indicados en
Trabajos con alguno de lenguajes formales
estudiados: Z, VDM, etc. Se utilizará alguna de las
herramientas disponibles en el curso para animar la especificación y se
entregará el programa realizado. Los trabajos realizados se expondrán en las
fechas indicadas.
2. Resolución de
ejercicios asignados personalmente a lo largo del curso.
3.
Realización del proyecto trimestral, Se ha de elegir uno de los
propuestos en Proyectos de acuerdo con las normas
que allí se encuentran detalladas,
4. La nota final se obtendrá de (Nota
PROYECTO TRIMESTRAL)*0,5 + (Nota
EJERCICIOS + Nota TRABAJO)*0,5