Diferencia entre revisiones de «Final del 16/04/2015 (Ingeniería I)»
De Cuba-Wiki
(Página creada con «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 e...») |
(Sin diferencias)
|
Revisión actual - 15:20 17 abr 2015
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.
