Final del 20/12/2012 (Ingeniería I)

De Cuba-Wiki

Ejercicio 1

[1]

Se tiene el Diagrama de caso de Uso 1. a) ¿Es el Diagrama 2 una posible refinacion de 1? b) ¿Es el Diagrama 3 una posible refinacion de 1?

Ejercicio 2

¿En que ayuda el modelo de objetivos para determinar Pertinencia?

Ejercicio 3

V o F. "En una LTS deterministica, Son equivalentes la bisimulacion fuerte y la equivalencia por trazas"

Ejercicio 4

Caracterizar los subdominios del criterio de Statements.

Ejercicio 5

Dado el sistema reactivo este, se tiene que cuando se lo prueba con algunos parametros, devuelve B y a veces se cuelga. a) Dar la IOLTS correspondiente b)