Final del 8/3/2016 (Ingeniería I)

Tomo Braverman y dio 2 horas.

1) porque decimos que bisimilidad es una relacion congruencia?

2) dos sistemas reactivos con igual trazas tienen comportamiento visible igual?

3) como modelarías un sistema externo de terceros en jackson, agentes, objetivos, usos

4) obj blandos vs de comportamiento. ejemplificar

5) Tenes un sistema con input output int, que falla en 3. Un criterio de test divide en <= 2.56 y >2.56, había q justificar si era completo y/o consistente.