NOTAS Y CALIFICACIÓN DEL CURSO (Julio 2005)

Apellidos, Nombre	Ejercicios entregados (nota-Z, nota-VDM-SL)	Exposición de trabajos	Trabajo trimestral	2da Parte del curso	Calificación final
Aguilera López, Noel	7.0, 6.0	7.0	6.0	9.5	NOTABLE(8)
Bustos Ortega, José Antonio	-, -	9.0	6.0	9.0	NOTABLE(8.5)
García Comba, Ricardo	5.0, 7.0	8.0	7.5	-	APROBADO(6.0)
Mendoza Morales, Luis Eduardo	9.0, 9.0	-	9.0	9.5	SOBRESALIENTE(9.0)
Noguera García, Manuel	6.0, 9.0	9.0	10.0	9.5	SOBRESALIENTE(10.0)

10-01-2005 Modificadas (corrección de tipos, pequeñas modificaciones) de transparencias 3, 4 y 9 de la segunda sesión. Inclusión de 2 transparencias más: números 6 y 8 de la segunda sesión.

Relación de ejercicios entregados por los alumnos:

Relación primera (especificación de sistemas en Z)  de 11 ejercicios propuestos

Noel Aguilera López: entrega: 1,2,3,4,5*,8,10,11

Manuel Noguera García: entrega:  3,5,6*,7

Ricardo García Comba: entrega:  3,4*,8*,9*,11

Luis Eduardo Mendoza Morales: entrega: 1,2,3,4,5,6,7,10

Relación segunda (especificación de sistemas en VDM-SL) de 14 ejercicios propuestos

Noel Aguilera López: entrega: 1*,2*,3,4*,5,6,9,10,11,12

Manuel Noguera García: entrega: 1,2,3,4,6,7,8,9,10,11,12

Ricardo García Comba: entrega: 1,2*,3,4,5*,6,9,11,12

Luis Eduardo Mendoza Morales: entrega: 1,2,3,4, 5, 9, 10, 11, 12

(Nota: los números que aparecen con asterisco indican comentario o ejercicio resuelto incorrectamente; se han enviado personalmente por email los comentarios o la solución correcta de cada ejercicio presentado)

Días y hora de exposición de los trabajos

José Antonio Bustos Moreno: 2/03/05 (miércoles); 6:30pm - 7:15 hrs.

Ricardo García Comba: 2/03/05 (miércoles);  7:15pm - 8:00  hrs.

Noel García Aguilera: 3/03/05 (jueves); 6:30pm - 7:15hrs.

Manuel Noguera García: 3/03/05 (jueves);  7:15pm - 8:00hrs.

Nota: Lugar de la exposición: aula 1.8 ETSI

Se dispondrá de un cañón de proyección en el aula y se suministrarán los programas  zans, ztc, Toolbox Lite,  instalados y disponibles en un portátil, para poder verificar la especificación y animarla sobre la marcha, a todo aquél que lo pudiera necesitar.