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

De Cuba-Wiki
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

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.

Obtenido de «https://www.cubawiki.com.ar/index.php?title=Final_del_22/12/2010_(Ingeniería_I)&oldid=8399»