Final del 16/04/2015 (Ingeniería I)

Final tomado por Braberman, siempre toma escrito.

1) Mencione una propiedad de comportamiento que sólo pueda evaluarse en la semántica arbórea de un LTS.

2) Explique en el contexto del grafo de objetivos qué significa que un requerimiento es pertinente.

3) Explique qué es y para qué sirve el Control Flow Graph .

4) Cómo relacionaría los diagramas de secuencia con las máquinas de estado finitas?

5) Explique la noción de herencia y sus usos en los diagramas de casos de uso.