Aplicación, validación y refinamiento de la “guía para la integración de métodos formales de ingeniería de requerimientos en procesos de desarrollo ágil (IMFIR-PDA)”

En la última década, las metodologías ágiles han sido un punto de evolución necesario en la ingeniera de software; no obstante, las compañías de desarrollo que incursionan en procesos agiles, se enfrentan a nuevos retos que combinan aspectos técnicos y sociales, particularmente concentrados en los p...