Ramírez Leal JC, Giraldo Orozco WJ, Anaya Hernández R. 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]. ventanainform. 2015;(32). doi:10.30554/ventanainform.32.1104.2015