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) te daba un tests raro y había q justificar si era completo y/o consistente