Journal TrixX's Journal: The Good, The Bad, and The Ugly 3
Ya va casi un mes desde que empezamos el proyecto de Ingenieria del Software II, en grupo. El heterogeneo grupo de valientes somos Renato, Charlie (Zzzooom), Fede/Tavo, y yo.
El proyecto es hacer requerimientos y especificaciones formales de un sistema en TLA+, un formalismo de Leslie Lamport(aka José LaTeX, el La es por Lamport). Es un lenguaje con todos los features para programming in the large que nos da la teoría de conjuntos ZF no tipada. El sistema es de control de tráfico ferroviario, e incluye también un poco del control interno de cada locomotora.
Pocos (o ninguno?) proyectos de la facultad han sido tan difíciles de parir como este. Es un poco largo, pero no es difícil. Con TLA+ ya nos manejamos. El problema es que cada pedacito es un dilema de que forma lo hacemos:
- La mala, que es la que usualmente sugiere Juan (el JTP, y quien corrige los proyectos), pero que uno se sienta a verla y puede ver que la semántica da cosas inconsistentes o que no funcionan (Una de las pocas cosas que aprecio de usar lenguajes formales, es que se puede demostrar que la verdura que dice Juan está mal)
- La fea, que es la que nos acaba proponiendo Juan después de dos horas de discutirle y mostrarle que lo que el nos dijo no funciona, y de conseguir que nos escuche.
- La buena, que es la que hemos encontrado o independientemente o consultando el libro de TLA de Lamport... El problema es que aunque encontramos soluciones elegantes para la mayoría de los problemas, es imposible convencer a Juan de que nos deje hacer eso (ya que no se puede, por la fuertísima justificación que nos dá diciendo "eso no está bien"). Así que cada cosa que decidimos hacer bien, arriesga la aprobación del proyecto.
Si, lo tengo a Juan muy cruzado. Todo el curso lo tiene. Las reuniones de grupo son 50% de terapia de grupo quejándonos, y ahora a mi me toca quejarme aca.
La fecha de entrega es el 14 de junio. Para ese momento supongo que habremos entregado la porquería que nos piden, o algo decente que después lo tendremos que defender con la ayuda de Maxi (el titular, que ese si viene con sentido común, pero no se involucra mucho). Mientras tanto tengo una semana de pelear contra mi sentido común.
love it (Score:2)
Re:love it (Score:2)
I actually haven't watched it, but I know the title... And it was a good one for my journal entry.
I was wondering if anyone would recognize the film reference.
Re:love it (Score:1)