Course: Tecnología de la Programación 2007/08

	Ficha Foro de Noticias Listados de horarios para grupos de prácticas y seminarios Creación de grupos de prácticas y cambios de horario

1	Prácticas Foro de prácticas Enunciado de la práctica 1 Enunciado de la Práctica 2 Practica 2: Archivos adicionales Enunciado de la Práctica 3 Practica 3: archivos adicionales Practica 4: Enunciado de la Practica Práctica 5: Enunciado de la práctica Practica 6: Enunciado práctica Logica Hoare

2	Control de versiones Transparencias de control de versiones Documentación Seminario Práctico sobre Subversion

3	Orientación a objetos Transparencias de Introducción a la Orientación a Objetos Transparencias de Manejo de Excepciones

4	Validación y verificación Transparencias de introducción Pruebas de unidad Profiling Diseño por contrato JML Análisis estático ESC/Java Semántica operacional Transparecnias de semántica axiomática

5

6

7

8

9

10

There are no upcoming events

Activity since Sunday, 5 September 2010, 08:08 PM

Nothing new since your last login

Tecnología de la Programación 2007/08