Contribuciones

Esta página contiene contribuciones de alumnos o del público en general vinculadas con la materia pero que no son parte del material oficial de la cátedra (aunque pueden ser muy útiles e incluso ser de mejor calidad).

Formalización del estilo estratificado (ps, tex). Contribuyó: Alejandro Russo.
Especificaciones Wright de un Cliente/Servidor Broadcast (zip). Contribuyó: Santiago Zanella.
Pruebas de teoremas usando Z/Eves (zip). Contribuyó: Daniel Severin.
Ejercicios resueltos de diseño y patrones de diseño (zip). Contribuyó: Ramin Roushani.
Ejercicios resueltos de patrones de diseño (zip). Contribuyó: Ramin Roushani.
Ejercicios resueltos de estilos arquitectónicos y testing (zip). Contribuyó: Ramin Roushani.