A veces, cuando una especificación se hace demasiado grande, se divide en módulos independientes que pueden madurar a su propio ritmo.