Statechart de la función procesar_ult_ent
(y otras partes relevantes para su correcta especificación).

Tabla de referencias

Expansión de superestados:

ESTADO MAQUINARIA
EMERGENCIA
CAMBIAR OPERADOR y CAMBIAR LONGITUD CAMPO
MODO DESCARGA TOLVA CAMBIAR SEMILLA

GDES y DFC

 

Requerimientos Descripción Informal de Diseño Cambios Posibles Subconjuntos e Incrementos Mínimos Guía de Módulos
Estructura de Módulos Estructura de Uso Estructura de Procesos Relación HEREDA_DE Descripción 2MIL
Especificación Formal y Cohesión
Guía de Modificaciones Realizadas