Course: Tecnología de la Programación 2006/07

	Foro de Noticias Ficha Leccion 1 Lección 2 Puntos fijos Lección 3 propiedades básicas de cálculo proposicional algunos ejercicios Prueba1 Prueba2 Prueba3 Respuesta al ejercicio 3 del examen de Junio

1	Prácticas Foro de las Prácticas Horarios de prácticas Criterios de calificación Acceso a los repositorios de Subversion Enunciados Práctica 1. Uso de Subversion Práctica 2. Intérprete IMP Librería OUnit Código práctica 2 Práctica 3. Tipos y arrays en el intérprete IMP. Código práctica 3 Práctica 4. Variables locales en el intérprete IMP Código práctica 4 Práctica 5. Funciones en el intérprete IMP Código práctica 5

2	Herramientas de desarrollo Control de Versiones Documentación incrustada en el código JUnit

3	Semántica Semántica Operacional

4	Diseño por contrato Introducción al diseño por contrato Introudcción a JML

5

6

7

8

9

10

26 Sep, 14:06
David
Notas de la convocatoria de septiembre more...
13 Jul, 19:52
José Luis
Una posible solución al ejercicio 3 del examen de Junio more...
13 Jul, 17:45
David
Publicación de notas more...
1 Jun, 11:55
David
Defensa opcional grupo 3 (miércoles) more...
23 May, 20:39
Noelia
Plazo inscripción listas de defensa opcional grupos TP1, 2 y 4 more...

There are no upcoming events

Activity since Tuesday, 7 September 2010, 11:19 PM

Nothing new since your last login

Tecnología de la Programación 2006/07