Final del 10/09/2012 (Ingeniería I)

Ejercicio 1

¿Qué son y qué rol juegan los obstáculos en la elaboración del modelo de objetivos?

Ejercicio 2

¿Cuáles son los supuestos del algoritmo de Chow para que este sea correcto? Justifique.

Ejercicio 3

¿$S_{2}$ es una implemetación conformante al sistema $S_{1}$ según IOCO?

S1:

S2:

Ejercicio 4

Dados los siguientes diagramas: a) ¿El diagrama 2 es consistente como posible refinación del diagrama 1? b) ¿El diagrama 3 es consistente con el diagrama 2?

Diagrama 1:

Diagrama 2:

Diagrama 3:

Ejercicio 5

Analizar:

Diagrama 4

Diagrama 5