Final del 22/12/2010 (Ingeniería I)

De Cuba-Wiki

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.