Diferencia entre revisiones de «Final del 8/3/2016 (Ingeniería I)»
De Cuba-Wiki
(Final) |
Sin resumen de edición |
||
| Línea 9: | Línea 9: | ||
4) obj blandos vs de comportamiento. ejemplificar | 4) obj blandos vs de comportamiento. ejemplificar | ||
5) | 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. | ||
Revisión actual - 11:28 9 mar 2016
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.
