2018-1

Información general

Profesor  Camilo Rocha (camilo.rocha *at* javerianacali.edu.co)
  • Martes (Palmas 3.1) 11:00 - 13:00
  • Jueves (Palmas 3.1) 11:00 - 13:00
Horas de oficina  Oficina 2-38, Facultad de Ingeniería
  • Martes 14:30 - 16:00
  • Jueves 14:30 - 16:00
Horario de atención de monitores  No habrá.



Material

Vínculos
  • Información detallada del curso (ver)
  • Rigorous Open Development Environment for Complex Systems (ver)
  • Material asociado al libro de Event-B (ver)
  • Models of Software Systems (Borrador) por Néstor Cataño (ver)
  • Notas (actualizado 04/04)

Tareas
  • Tarea 1: para entregar el 02/15 en clase
    • [1] 1.6: 1, 5
    • [1] 2.8: 2, 5, 8, 14, 15

Sesiones