Final del 14/04/2009 (Ingeniería I)
Requerimientos
1. Cual es el vinculo entre objetivos blandos y o-refinamientos? Ejemplifique
2. Que es y por que se usa el patro de refinamiento por monitorabilidad.
Especificacion
3. Explique la semantica de automata temporizado en terminos de sistemas de transicion etiquetados.
4. Explique la relacion entre redes de Petri y diagramas de actividad.
Testing
5. En testing de regresion, cual es la problematica de seleccion de casos de test?
6. El testing es una actividad de verificacion o validacion? Justifique.
Diseño
7. Cual es la relacion entre el tipo aparente y el tipo real de una variable. Como aporta al uso polimorfico de objetos en un lenguaje de programacion orientado a objetos. Ejemplifique.
8. Por que la herencia multiple trae mas complicaciones en diseño que en el modelo conceptual. Relacione con el principio de Liskov.
