Formalismo-BRST, Método-BFV e Quantização de Sistemas Vinculados