Diferencia entre revisiones de «Final del 20/12/2012 (Ingeniería I)»
De Cuba-Wiki
(Final de IS1 (faltan imagenes)) |
|||
| Línea 1: | Línea 1: | ||
==Ejercicio 1== | ==Ejercicio 1== | ||
Se tiene el Diagrama de caso de Uso 1. | |||
[http://imgur.com/IJE5D] | |||
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? | ||
Revisión del 14:37 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. "En una LTS deterministica, Son equivalentes la bisimulacion fuerte y la equivalencia por trazas"
Ejercicio 4
Caracterizar los subdominios del criterio de Statements.
Ejercicio 5
Dado el sistema reactivo este, se tiene que cuando se lo prueba con algunos parametros, devuelve B y a veces se cuelga. a) Dar la IOLTS correspondiente b)
