Final del 07/4/2014 (Ingeniería I)

Tomó Nicolás D´ippolito. La modalidad fué oral con algunos ejercicios en el pizarrón, como venían siendo los otros exámenes. Primero pidió hacer un MC de testing funcional, mientras tanto iba prenguntando algunas cosas relacionadas con el modelo y con el tema. Vale aclarar que no hay una sola forma de hacer ese modelo conceptual, y básicamente lo que pretenden es que lo encares de alguna manera y después vayas justificando lo que haces. Hablamos bastante sobre testing, generalidades de IR y cosas así. Después pidió hacer un FSM con la materia Ing1 y después agregar Ing2. Me preguntó bastante sobre Máquinas de estado, cual era la definición formal de máquina de estado, bisimulación, criterios de igualdad de máquinas. Creo que nada mas.