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

De Cuba-Wiki

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

¿ es una implemetación conformante al sistema según IOCO?

S1: Archivo:S1 ingsoft1.png


S2: Archivo:S2 ingsoft1.png

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

Diagrama 2: Diag2 ingsoft1.png

Diagrama 3: Diag3 ingsoft1.png

Ejercicio 5

Analizar:

Archivo:Diag4 ingsoft1.jpg

Archivo:Diag5 ingsoft1.jpg