TY - JOUR N2 - The 1918 University Reform, initiated at the National University of Córdoba, marked a milestone in higher education in Latin America. It emerged in a context of political and social transformations, driven by students seeking to dismantle the elitist, clerical, and authoritarian university model. It promoted university autonomy, student participation in governance, academic freedom, and the extension of knowledge to society. Although the reform originated in Argentina, its ideals influenced other countries, particularly Chile, where similar movements emerged. Its legacy endures today, as evidenced by the reinstatement of student shared governance at the University of Santiago, Chile, in 2025. ------------------- El diseño de microservicios a partir de requisitos textuales constituye un desafío persistente en la ingeniería de software, debido a la ambigüedad del lenguaje natural y a la ausencia de mecanismos formales que garanticen calidad arquitectónica. En el marco de una investigación doctoral en la Universidad Abierta Interamericana (UAI), se presenta ArchiGenMS, un pipeline evolutivo que combina modelos de lenguaje generativos (LLMs) con verificación formal en Lean para el descubrimiento automático de microservicios. La propuesta integra prompt engineering evolutivo, métricas estructurales de cohesión, granularidad y acoplamiento, y validación automática de restricciones arquitectónicas. Los experimentos realizados con datasets públicos de historias de usuario, como el caso g24-unibath, muestran que el enfoque permite generar arquitecturas con alta cohesión (LCOMavg = 0.167), granularidad controlada (SGMmax = 4) y bajo acoplamiento (Couplingmax = 1). Los resultados evidencian el potencial de integrar técnicas generativas y verificación formal para construir arquitecturas mantenibles y reproducibles en escenarios greenfield. TI - Aplicación de Inteligencia Artificial Generativa y Verificación Formal en el Descubrimiento de Microservicios JF - Revista Abierta de Informática Aplicada VL - 9 A1 - Narváez, Daniel A1 - Battaglia, Nicolás A1 - Fernández, Alejandro A1 - Rossi, Gustavo KW - University Reform KW - Student Movements KW - Autonomy KW - Academic Freedom KW - Latin American Education. Microservicios KW - descubrimiento automático KW - modelos de lenguaje grandes KW - verificación formal KW - Lean Theorem Prover KW - métricas arquitectónicas KW - prompt engineering evolutivo KW - ingeniería de software asistida por IA AV - public SN - 2591-5320 IS - 1 SP - 2 UR - https://raia.revistasuai.ar/index.php/raia EP - 24 Y1 - 2025/12// ID - kurepository42 ER -