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. | S1: [[Archivo:S1_ingsoft1.jpg]] | ||
S2: [[Archivo:S2_ingsoft1. | S2: [[Archivo:S2_ingsoft1.jpg]] | ||
==Ejercicio 4== | ==Ejercicio 4== | ||
Revisión del 02:31 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:
