Final del 19/12/2018 - Ingeniería I (vieja)

Tomo Braverman, nos dio 2 horas

• Relación entre diagrama de agentes y de casos de uso

• Qué ventajas tiene bisimulacion como relación de equivalencia

• Qué quiere decir que un criterio es consistente y por qué es difícil de probar, dar ejemplos

• En modelo de Jackson, que son los requerimientos y que son los objetivos

• Cómo se relacionan la cobertura de instrucciones y un criterio de partición del input