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

De Cuba-Wiki
Saltar a: navegación, buscar

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