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

De Cuba-Wiki
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

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:

S1 ingsoft1.jpg


S2:

S2 ingsoft1.jpg

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:

Diagrama 4

Diag4 ingsoft1.png

Diagrama 5

Diag5 ingsoft1.png