Diferencia entre revisiones de «Final del 20/12/2012 (Ingeniería I)»
De Cuba-Wiki
(Final de IS1 (faltan imagenes)) |
|||
| (No se muestran 7 ediciones intermedias de 2 usuarios) | |||
| Línea 1: | Línea 1: | ||
==Ejercicio 1== | ==Ejercicio 1== | ||
Se tiene el Diagrama de caso de Uso 1. | |||
Se tiene el Diagrama de caso de Uso 1. | |||
a) ¿Es el Diagrama 2 una posible refinacion de 1? | a) ¿Es el Diagrama 2 una posible refinacion de 1? | ||
b) ¿Es el Diagrama 3 una posible refinacion de 1? | b) ¿Es el Diagrama 3 una posible refinacion de 1? | ||
[[File:Dgcu.png]] | |||
==Ejercicio 2== | ==Ejercicio 2== | ||
| Línea 8: | Línea 13: | ||
==Ejercicio 3== | ==Ejercicio 3== | ||
V o F. " | V o F. "Para dos LTS deterministicas, son equivalentes la bisimulacion fuerte y la equivalencia por trazas" | ||
==Ejercicio 4== | ==Ejercicio 4== | ||
| Línea 14: | Línea 19: | ||
==Ejercicio 5== | ==Ejercicio 5== | ||
Dado | |||
a) Dar | [[File:Dgtr.png]] | ||
b) | |||
Dado la especificación de un sistema reactivo como el del diagram, se tiene que una implementación del mismo, cuando se lo estimula con a con ciertos parametros, devuelve B, y con otros parámetros se cuelga. | |||
a) Dar el IOLTS correspondiente a la implementación. | |||
b) ¿Es IOCO con el IOLTS de la especificación? Justifique | |||
Revisión actual - 19:02 21 dic 2012
Ejercicio 1
Se tiene el Diagrama de caso de Uso 1.
a) ¿Es el Diagrama 2 una posible refinacion de 1?
b) ¿Es el Diagrama 3 una posible refinacion de 1?
Ejercicio 2
¿En que ayuda el modelo de objetivos para determinar Pertinencia?
Ejercicio 3
V o F. "Para dos LTS deterministicas, son equivalentes la bisimulacion fuerte y la equivalencia por trazas"
Ejercicio 4
Caracterizar los subdominios del criterio de Statements.
Ejercicio 5
Dado la especificación de un sistema reactivo como el del diagram, se tiene que una implementación del mismo, cuando se lo estimula con a con ciertos parametros, devuelve B, y con otros parámetros se cuelga.
a) Dar el IOLTS correspondiente a la implementación.
b) ¿Es IOCO con el IOLTS de la especificación? Justifique
