Final del 18/2/2016 (Ingeniería I)

De Cuba-Wiki
Revisión del 16:37 19 feb 2016 de 201.212.5.12 (discusión) (Final)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

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