Diferencia entre revisiones de «Final del 10/09/2012 (Ingeniería I)»
De Cuba-Wiki
(Página creada con «==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...») |
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.png]] | ||
S2: [[Archivo:S2_ingsoft1. | S2: [[Archivo:S2_ingsoft1.png]] | ||
==Ejercicio 4== | ==Ejercicio 4== | ||
| Línea 19: | Línea 19: | ||
Diagrama 1: | Diagrama 1: | ||
[[Archivo:diag1_ingsoft1. | [[Archivo:diag1_ingsoft1.png]] | ||
Diagrama 2: | Diagrama 2: | ||
[[Archivo:diag2_ingsoft1. | [[Archivo:diag2_ingsoft1.png]] | ||
Diagrama 3: | Diagrama 3: | ||
[[Archivo:diag3_ingsoft1. | [[Archivo:diag3_ingsoft1.png]] | ||
==Ejercicio 5== | ==Ejercicio 5== | ||
Revisión del 02:29 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?
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:
