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 [Internet]. 2015 Jun. 19 [cited 2026 Feb. 24];(32). Available from: https://revistasum.umanizales.edu.co/index.php/ventanainformatica/article/view/1104