Diferencia entre revisiones de «Final del 10/09/2012 (Ingeniería I)»
De Cuba-Wiki
| Línea 30: | Línea 30: | ||
Analizar: | Analizar: | ||
[[Archivo:diag4_ingsoft1. | [[Archivo:diag4_ingsoft1.png]] | ||
[[Archivo:diag5_ingsoft1. | [[Archivo:diag5_ingsoft1.png]] | ||
Revisión del 02:33 10 dic 2012
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: 
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:
