También puede resultar útil declarar las especificaciones de los