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).
Ejemplos de especificaciones con algunos comentarios. Uso intensivo de Latex para especificaciones CSP, TLA, etc. Contribuyó: Alejandro Russo. | |
Ejemplos de diseño de sistemas con descripciones formales. Uso intensivo de Latex para especificaciones Z y demás. Contribuyó: Santiago Zanella. | |
Instalación de interfaz gráfica de Z/EVES en Linux. Contribuyeron: Fernando Camussi y Manuel Pajón. |