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

De Cuba-Wiki

Ejercicio 1[editar]

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?

Dgcu.png

Ejercicio 2[editar]

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

Ejercicio 3[editar]

V o F. "Para dos LTS deterministicas, son equivalentes la bisimulacion fuerte y la equivalencia por trazas"

Ejercicio 4[editar]

Caracterizar los subdominios del criterio de Statements.

Ejercicio 5[editar]

Dgtr.png

Dado la especificación de un sistema reactivo como el del diagram, se tiene que una implementación del mismo, cuando se lo estimula con a con ciertos parametros, devuelve B, y con otros parámetros se cuelga.

a) Dar el IOLTS correspondiente a la implementación.

b) ¿Es IOCO con el IOLTS de la especificación? Justifique