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á.

Programa del curso

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 06/05)
  • Proyecto

Tareas

  • Tarea 1: para entregar el 02/15 en clase
    • [1] 1.6: 1, 5
    • [1] 2.8: 2, 5, 8, 14, 15
  • Tarea 2: para entregar el 05/04 antes de las 4pm

Sesiones