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: Archivo:Diag1 ingsoft1.jpg

Diagrama 2: Archivo:Diag2 ingsoft1.jpg

Diagrama 3: Archivo:Diag3 ingsoft1.jpg

Ejercicio 5

Analizar: