requerimientos formales