Final del 18/2/2016 (Ingeniería I)
De Cuba-Wiki
El final lo tomo Victor Braverman y tarde 2.15 hs haciendo borradores de todos los ejercicios.
1) ¿Cómo se usa la teoría de juegos para probar que 2 sistemas no son bisimilares?
2) ¿Qué se entiende por scope y span de un modelo? Brindar 2 ejemplos
3) ¿Qué significa que un criterio de test subsume a otro? ¿Implica mayor capacidad de detección de fallas? Justifique
4) Elaborar un modelo conceptual que describa los elementos y las relaciones existentes en el modelo de agentes y contexto.
5) Explique similitudes y diferencias entre LTSs y DAs
