Diferencia entre revisiones de «Final del 10/09/2012 (Ingeniería I)»
De Cuba-Wiki
Sin resumen de edición |
|||
| Línea 8: | Línea 8: | ||
¿<math>S_2</math> es una implemetación conformante al sistema <math>S_1</math> según IOCO? | ¿<math>S_2</math> es una implemetación conformante al sistema <math>S_1</math> según IOCO? | ||
S1: [[Archivo:S1_ingsoft1.jpg]] | ===S1:=== | ||
[[Archivo:S1_ingsoft1.jpg]] | |||
S2: [[Archivo:S2_ingsoft1.jpg]] | ===S2:=== | ||
[[Archivo:S2_ingsoft1.jpg]] | |||
==Ejercicio 4== | ==Ejercicio 4== | ||
| Línea 18: | Línea 20: | ||
b) ¿El diagrama 3 es consistente con el diagrama 2? | b) ¿El diagrama 3 es consistente con el diagrama 2? | ||
Diagrama 1: | ===Diagrama 1:=== | ||
[[Archivo:diag1_ingsoft1.png]] | [[Archivo:diag1_ingsoft1.png]] | ||
Diagrama 2: | ===Diagrama 2:=== | ||
[[Archivo:diag2_ingsoft1.png]] | [[Archivo:diag2_ingsoft1.png]] | ||
Diagrama 3: | ===Diagrama 3:=== | ||
[[Archivo:diag3_ingsoft1.png]] | [[Archivo:diag3_ingsoft1.png]] | ||
| Línea 30: | Línea 32: | ||
Analizar: | Analizar: | ||
===Diagrama 4=== | |||
[[Archivo:diag4_ingsoft1.png]] | [[Archivo:diag4_ingsoft1.png]] | ||
===Diagrama 5=== | |||
[[Archivo:diag5_ingsoft1.png]] | [[Archivo:diag5_ingsoft1.png]] | ||
Revisión actual - 02:38 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:
Diagrama 4
Diagrama 5
