Statecharts (04)

¿Por qué la formalización de los requerimientos del sistema de control del cruce ferroviario no es una especificación? Reemplazar fenómenos no compartidos por fenómenos compartidos más conocimiento de dominio; reemplazar referencias a futuro por tiempos de espera; requisitos temporales en Statecharts; estados temporizados en Statecharts.

[@justosotomanrique2581]

Buenas apreciado maestro gracias como siempre por tu tiempo. Solo queda agradecerte una vez más por tu ayuda. Espero que estés bien en este momento tan difícil que enfrentamos, hoy más que nunca la educación es la esperanza de un mundo mejor. Mil gracias

[@MaximilianoCristiaIS]

Gracias por tu comentario. Sí, estoy bien al tiempo que intento seguir con mi trabajo.