Final del 22/12/2010 (Ingeniería I)
De Cuba-Wiki
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?
Ejercicio 2
¿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
Explicar que es una relacion de conformidad y en particular para Mealy Machines.
Ejercicio 4
¿Porque cuando un criterio es consistente y completo se lo llama ideal? ¿Que importantes propiedades tiene?
Ejercicio 5
Explicar el criterio de sustitucion de liskov. Mencionar un breve ejemplo.
