Final del 13/12/2017 - Ingeniería I (vieja)

El final lo tomó Victor Braberman, fue escrito y 2 personas se presentaron.

1. ¿Para qué sirve y qué limitaciones tiene el algoritmo de T.S. Chow?
2. El modelo de Jackson distingue entre aserciones descriptivas y prescriptivas. Explicar que son y como se relacionan con validación y verificación.
3. ¿Qué significa que bisimulación sea una congruencia?
4. ¿Qué técnica de generación de casos de test de caja negra utilizaría para un programa de 20 parámetros donde cada uno tiene unas pocas opciones?
5. ¿Cuándo un objetivo es realizable por un agente? Dar ejemplos de objetivos realizables y de objetivos no realizables.