Vista do Aproximación metodológica para la formalización de técnicas en Ingeniería de Requisitos [Methodological approach to formalization of techniques on requirements engineers]