Diferencia entre revisiones de «Final del 22/12/2010 (Ingeniería I)»
De Cuba-Wiki
(Página nueva: Tomo Victor Braberman == Ejercicio 1 == Cuando se asigna un objetivo a un agente, ¿Que se deberia verificar respecto a los eventos monitoreables/controlables del mismo? == Ejercic...) |
(Sin diferencias)
|
Revisión actual - 17:25 11 mar 2011
Tomo Victor Braberman
Ejercicio 1[editar]
Cuando se asigna un objetivo a un agente, ¿Que se deberia verificar respecto a los eventos monitoreables/controlables del mismo?
Ejercicio 2[editar]
¿Es posible con la semantica de trazas de FSM saber si una especificacion tiene la propiedad de ser reseteable desde cualquier estado a un estado distinguido?
Ejercicio 3[editar]
Explicar que es una relacion de conformidad y en particular para Mealy Machines.
Ejercicio 4[editar]
¿Porque cuando un criterio es consistente y completo se lo llama ideal? ¿Que importantes propiedades tiene?
Ejercicio 5[editar]
Explicar el criterio de sustitucion de liskov. Mencionar un breve ejemplo.