{"id":2858,"date":"2025-03-13T14:30:17","date_gmt":"2025-03-13T17:30:17","guid":{"rendered":"https:\/\/icc.fcen.uba.ar\/?p=2858"},"modified":"2025-05-16T12:01:54","modified_gmt":"2025-05-16T15:01:54","slug":"inteligencia-artificial-e-ingenieria-de-software-la-compleja-convergencia-entre-dos-disciplinas-revolucionarias","status":"publish","type":"post","link":"https:\/\/icc.fcen.uba.ar\/en\/inteligencia-artificial-e-ingenieria-de-software-la-compleja-convergencia-entre-dos-disciplinas-revolucionarias\/","title":{"rendered":"Inteligencia artificial e ingenier\u00eda de software: la compleja convergencia entre dos disciplinas revolucionarias"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:1144px;margin-left: calc(-4% \/ 2 );margin-right: calc(-4% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.92%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:1.92%;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:1.92%;--awb-spacing-left-medium:1.92%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:1.92%;--awb-spacing-left-small:1.92%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-1\"><p><b>La inteligencia artificial est\u00e1 impactando cada vez m\u00e1s en la automatizaci\u00f3n de tareas propias de la ingenier\u00eda de software, al punto de que una gran proporci\u00f3n de los art\u00edculos de conferencias incluyen grandes modelos de lenguaje (LLMs) como componentes para lograr resolver problemas de ingenier\u00eda de software. No obstante, el uso de ingenier\u00eda de software para mejorar la inteligencia artificial y lograr el desarrollo de sistemas fiables y seguros, a\u00fan tiene un largo camino por recorrer. Profundizar en una ingenier\u00eda para el uso disciplinado de modelos fundacionales es uno de los desaf\u00edos que la comunidad acad\u00e9mica tiene por delante. Para conocer m\u00e1s sobre el tema conversamos con dos investigadores referentes, V\u00edctor Braberman y Agust\u00edn Mart\u00ednez Su\u00f1\u00e9.<\/b><\/p>\n<p><span style=\"font-weight: 400;\">Actualmente la inteligencia artificial (IA) basada en t\u00e9cnicas de aprendizaje autom\u00e1tico y la ingenier\u00eda de software, que se ocupa de todas las tareas asociadas a la construcci\u00f3n y verificaci\u00f3n de software, convergen de manera completamente inusual por su propia evoluci\u00f3n.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Ambas disciplinas son contempor\u00e1neas dentro del marco de las Ciencias de la Computaci\u00f3n, aunque la ingenier\u00eda de software como concepto naci\u00f3 all\u00e1 por fines de los a\u00f1os 60, mientras que la idea de la inteligencia artificial comenz\u00f3 a desarrollarse entre las d\u00e9cadas del 40 y 50, con las primeras m\u00e1quinas electr\u00f3nicas y el famoso test de Turing.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Con el notorio auge de las t\u00e9cnicas de aprendizaje profundo y los LLM, la IA y la ingenier\u00eda de software se combinan de dos formas completamente distintas:<\/span><\/p>\n<ul>\n<li style=\"font-weight: 400;\" aria-level=\"1\"><b><i>AI for Software Engineering<\/i><\/b><span style=\"font-weight: 400;\">: c\u00f3mo la IA puede ayudar para la construcci\u00f3n, mantenimiento y evoluci\u00f3n del software, es decir c\u00f3mo todo el ciclo de vida de la ingenier\u00eda de software se puede apoyar sobre la IA para tener una mejor performance.<\/span><\/li>\n<li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">\u00a0<\/span><b><i>Software Engineering for AI<\/i><\/b><span style=\"font-weight: 400;\">: c\u00f3mo la ingenier\u00eda de software contribuye a robustecer la IA. Se entiende que los sistemas modernos est\u00e1n cambiando mucho porque ahora tienen un componente interno de desarrollo con una tecnolog\u00eda muy distinta: la IA. Entonces, los desaf\u00edos de la construcci\u00f3n de software est\u00e1n cambiando porque la IA transforma su naturaleza. Se trata de repensar la ingenier\u00eda de software en esos t\u00e9rminos, que es una pregunta muy grande, que exige revisar las t\u00e9cnicas de ingenier\u00eda de software con esta nueva realidad.<\/span><\/li>\n<\/ul>\n<p><b>Un ida y vuelta entre IA e ingenier\u00eda de software<\/b><\/p>\n<p><span style=\"font-weight: 400;\">A fines del a\u00f1o 2022, la empresa Open AI lanz\u00f3 la versi\u00f3n de prueba gratuita de una herramienta de inteligencia artificial denominada ChatGPT, un programa inform\u00e1tico que simula y procesa conversaciones humanas y est\u00e1 entrenado para responder casi cualquier pregunta o pedido que se le haga en forma de instrucciones denominadas \u201c<\/span><i><span style=\"font-weight: 400;\">prompts<\/span><\/i><span style=\"font-weight: 400;\">\u201d.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">GPT forma parte de una familia de modelos llamados LLMs (<\/span><i><span style=\"font-weight: 400;\">Large language models<\/span><\/i><span style=\"font-weight: 400;\">), un subconjunto de la inteligencia artificial que ha sido entrenado con una gran cantidad de datos de texto (todo Internet en el caso de GPT) para producir respuestas similares a las humanas al di\u00e1logo u otros insumos de lenguaje natural. Los avances de este tipo de tecnolog\u00eda han acelerado la competencia por parte de otras empresas que tambi\u00e9n buscan dominar el universo de la inteligencia artificial generativa.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Claramente estas tecnolog\u00edas son el motor de una nueva generaci\u00f3n de sistemas de IA. Lo sorprendente de esta revoluci\u00f3n fue el descubrimiento que entrenar una gran red neuronal -espec\u00edficamente un <\/span><i><span style=\"font-weight: 400;\">transformer<\/span><\/i><span style=\"font-weight: 400;\">&#8211; para predecir la siguiente palabra m\u00e1s probable da lugar a un sistema capaz de resolver una amplia variedad de tareas para las cuales no fue expl\u00edcitamente entrenado.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Hoy en d\u00eda, estos modelos permiten automatizar tareas repetitivas y tediosas como la generaci\u00f3n de c\u00f3digo b\u00e1sico, pruebas unitarias y revisiones de calidad. \u201c<\/span><i><span style=\"font-weight: 400;\">Los programadores, ingenieros de software e investigadores del \u00e1rea est\u00e1n usando en forma masiva los LLM para resolver problemas que les competen. Desde programar con estos copilotos (que pueden realizar algunas tareas de programaci\u00f3n de manera efectiva) hasta usar el LLM para problemas m\u00e1s generales de dise\u00f1o, correcci\u00f3n, testeo y verificaci\u00f3n de software<\/span><\/i><span style=\"font-weight: 400;\">\u201d, puntualiza <\/span><b>V\u00edctor Braberman<\/b><span style=\"font-weight: 400;\">, investigador del ICC en el grupo<\/span><a href=\"https:\/\/lafhis.dc.uba.ar\/home\" target=\"_blank\" rel=\"noopener\"> <span style=\"font-weight: 400;\">LAFHIS<\/span><\/a><span style=\"font-weight: 400;\"> (Laboratorio de Fundamentos y Herramientas de Ingenier\u00eda de Software).<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Resulta importante tener en claro que los sistemas de IA basados en el paradigma dominante actual, el <\/span><i><span style=\"font-weight: 400;\">deep learning<\/span><\/i><span style=\"font-weight: 400;\">, presentan una naturaleza fundamentalmente distinta a la del software tradicional. No solo el producto final difiere -con redes neuronales artificiales que realizan c\u00e1lculos dif\u00edciles de interpretar en lugar de l\u00edneas de c\u00f3digo en un lenguaje de programaci\u00f3n estructurado- sino que tambi\u00e9n el proceso de desarrollo es radicalmente diferente.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Para entenderlo mejor, en la ingenier\u00eda de software tradicional se utilizan com\u00fanmente pruebas de sistemas determin\u00edsticos (donde, siempre con algunas excepciones, se provee el mismo input todas las veces y se recibe el mismo output) pero la esencia de un modelo de aprendizaje autom\u00e1tico encuentra cierta randomizaci\u00f3n; por lo que es l\u00f3gico que un test no d\u00e9 siempre lo mismo y eso impacta en ciertos conceptos tradicionales de <\/span><i><span style=\"font-weight: 400;\">testing<\/span><\/i><span style=\"font-weight: 400;\"> como la cobertura de c\u00f3digo.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">\u201c<\/span><i><span style=\"font-weight: 400;\">Cada vez es m\u00e1s com\u00fan encontrar sistemas que combinan grandes y complejas piezas de software tradicional con m\u00f3dulos de deep learning. Sin embargo, razonar rigurosamente sobre su funcionamiento plantea un desaf\u00edo significativo, lo que exige revisar y adaptar las t\u00e9cnicas de ingenier\u00eda de software a esta nueva realidad<\/span><\/i><span style=\"font-weight: 400;\">\u201d, comenta <\/span><b>Agust\u00edn Mart\u00ednez Su\u00f1\u00e9<\/b><span style=\"font-weight: 400;\">, investigador postdoctoral en el <\/span><a href=\"https:\/\/oxcav.web.ox.ac.uk\/\" target=\"_blank\" rel=\"noopener\"><span style=\"font-weight: 400;\">Oxford Control and Verification Group<\/span><\/a><span style=\"font-weight: 400;\"> (OXCAV) de la Universidad de Oxford.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Desde los inicios de la ingenier\u00eda de software, una herramienta clave para manejar la complejidad ha sido la modularidad, que consiste en descomponer un sistema en partes m\u00e1s peque\u00f1as que puedan analizarse de manera independiente. Esto permite, por ejemplo, obtener garant\u00edas sobre el comportamiento de un m\u00f3dulo estableciendo suposiciones sobre el entorno en el que operar\u00e1 (en este caso, el resto del sistema).<\/span><\/p>\n<p><span style=\"font-weight: 400;\">\u201c<\/span><i><span style=\"font-weight: 400;\">Cuando algunos de estos m\u00f3dulos son redes neuronales artificiales, surgen nuevas interrogantes tales como: \u00bfCu\u00e1les son las mejores y m\u00e1s efectivas formas de aplicar esta metodolog\u00eda en estos casos? \u00bfQu\u00e9 tipos de garant\u00edas es posible obtener en estos escenarios? Estas cuestiones son objeto de intensa investigaci\u00f3n<\/span><\/i><span style=\"font-weight: 400;\">\u201d, complementa Mart\u00ednez Su\u00f1\u00e9.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Por su parte Braberman, reconoce el potencial de estas herramientas y aclara que en algunos de sus proyectos utiliz\u00f3 grandes modelos de lenguaje para detectar en forma autom\u00e1tica vulnerabilidades en programas, en este caso fragmentos de c\u00f3digo que van a una <\/span><i><span style=\"font-weight: 400;\">blockchain<\/span><\/i><span style=\"font-weight: 400;\"> y se ejecutan para llevar adelante contratos automatizados.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">No obstante, el investigador del ICC observa varias cuestiones problem\u00e1ticas asociadas a este ida y vuelta entre IA e ingenier\u00eda de software:<\/span><\/p>\n<p><span style=\"font-weight: 400;\">1) Nunca antes hubo una herramienta tan transversal a los distintos temas y problemas de ingenier\u00eda de software. \u201c<\/span><i><span style=\"font-weight: 400;\">En un <\/span><\/i><a href=\"https:\/\/arxiv.org\/abs\/2404.09384\" target=\"_blank\" rel=\"noopener\"><i><span style=\"font-weight: 400;\">reporte t\u00e9cnico reciente<\/span><\/i> <\/a><i><span style=\"font-weight: 400;\">indagamos este fen\u00f3meno cada vez m\u00e1s extendido. Por ejemplo, hoy aproximadamente la mitad de los papers enviados a conferencias de ingenier\u00eda de software usan de alguna forma LLMs. Tanto por el auge e inter\u00e9s como tambi\u00e9n porque permiten realizar tareas y transformaciones que antes no eran imaginables como partes de soluciones de ingenier\u00eda del software<\/span><\/i><span style=\"font-weight: 400;\">\u201d<\/span><i><span style=\"font-weight: 400;\">.<\/span><\/i><i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><\/p>\n<p><span style=\"font-weight: 400;\">2) Existe un problema espec\u00edfico que tiene que ver con la confiabilidad de los LLM y los agentes inteligentes, que se evidencia en las alucinaciones: creer en un resultado que es certero que en realidad no lo es y no contar con se\u00f1ales de alarma para detectar este problema. \u201c<\/span><i><span style=\"font-weight: 400;\">Los LLM no garantizan obtener un resultado adecuado para la tarea que les encomendamos. La seriedad del asunto depende del dominio y de la arquitectura que ten\u00e9s. Las \u2018alucinaciones\u2019 podr\u00edan llegar a exteriorizarse de una forma que vos no quer\u00e9s. Por ejemplo, si uso LLMs para generar casos de test y no analizo de ninguna forma la calidad del resultado (ej. cobertura de c\u00f3digo o funcionalidad), eso puede llevarme a errar sobre la calidad del programa siendo testeado por lo que gener\u00f3 el LLM. Este es un caso m\u00e1s o menos f\u00e1cil en el que el resultado de generaci\u00f3n puede ser contrastado de alguna forma cl\u00e1sica pero en muchas situaciones tener una buena se\u00f1al de correctitud del resultado puede ser desafiante<\/span><\/i><span style=\"font-weight: 400;\">\u201d.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">3) Por \u00faltimo, los LLM le agregan complejidad extra al problema de obtener alguna garant\u00eda sobre el comportamiento del software que los usa. \u201c<\/span><i><span style=\"font-weight: 400;\">En primer lugar, su comportamiento es estoc\u00e1stico. En segundo lugar, muchas veces las evaluaciones de performance est\u00e1n hechas con supuestos no expl\u00edcitos sobre la distribuci\u00f3n de los datos que se van a querer transformar con ayuda del LLM<\/span><\/i><span style=\"font-weight: 400;\">\u201d.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Para ejemplificar con otro tipo de tecnolog\u00eda de IA, Braberman menciona que en el contexto del desarrollo actual de los veh\u00edculos aut\u00f3nomos a veces, durante el testeo funcional, se descubre que los datos de entrenamiento de algunos de sus modelos de percepci\u00f3n posiblemente no conten\u00edan suficientes im\u00e1genes de ciertas condiciones ambientales. Esta diferencia en las distribuciones puede impactar en la seguridad del sistema.<\/span><\/p>\n<p><b>Hacia una IA m\u00e1s segura y confiable<\/b><\/p>\n<p><span style=\"font-weight: 400;\">Actualmente, uno de los focos de desarrollo es la creaci\u00f3n de agentes aut\u00f3nomos impulsados por LLM, capaces de realizar tareas de manera automatizada en entornos digitales, como la web. A medida que estos sistemas demuestren ser econ\u00f3micamente valiosos, y los incentivos econ\u00f3micos se alineen, su despliegue ser\u00e1 cada vez m\u00e1s frecuente en m\u00e1s dominios. Esto ha generado un debate creciente -primero acad\u00e9mico, pero cada vez m\u00e1s pol\u00edtico y social- sobre c\u00f3mo las comunidades actuales deber\u00e1n prepararse para el impacto disruptivo de su adopci\u00f3n y los riesgos que conlleva.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">\u201c<\/span><i><span style=\"font-weight: 400;\">Uno de los marcos conceptuales en los que se enmarca esta discusi\u00f3n es el AI Safety, perspectiva desde la cual estoy orientando cada vez m\u00e1s<\/span><\/i><a href=\"https:\/\/www.researchgate.net\/profile\/Agustin-Martinez-Sune\" target=\"_blank\" rel=\"noopener\"> <i><span style=\"font-weight: 400;\">mi trabajo de investigaci\u00f3n<\/span><\/i><\/a><span style=\"font-weight: 400;\">\u201d, explica el investigador Mart\u00ednez Su\u00f1\u00e9.<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><img decoding=\"async\" class=\"lazyload wp-image-2859 size-fusion-400 alignnone\" src=\"https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/IA-segura-400x400.png\" data-orig-src=\"https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/IA-segura-400x400.png\" alt=\"\" width=\"400\" height=\"400\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27400%27%20height%3D%27400%27%20viewBox%3D%270%200%20400%20400%27%3E%3Crect%20width%3D%27400%27%20height%3D%27400%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/IA-segura-66x66.png 66w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/IA-segura-150x150.png 150w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/IA-segura-200x200.png 200w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/IA-segura-300x300.png 300w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/IA-segura-400x400.png 400w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/IA-segura.png 512w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 400px) 100vw, 400px\" \/><\/span><\/p>\n<p><span style=\"font-weight: 400;\">Dentro de este contexto, considera que la Ingenier\u00eda de Software tiene un rol crucial, en particular desde lo que se conoce como M\u00e9todos Formales para Ingenier\u00eda de Software, que emplean t\u00e9cnicas matem\u00e1ticas para obtener garant\u00edas demostrables sobre el comportamiento de un sistema, por ejemplo, asegurar que est\u00e9 libre de errores o que no genere resultados inesperados.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">\u201c<\/span><i><span style=\"font-weight: 400;\">La aplicaci\u00f3n de esta visi\u00f3n a los sistemas avanzados de IA, aunque no es la predominante dentro de AI Safety, est\u00e1 ganando tracci\u00f3n bajo el concepto de <\/span><\/i><a href=\"http:\/\/arxiv.org\/abs\/2405.06624\" target=\"_blank\" rel=\"noopener\"><i><span style=\"font-weight: 400;\">Guaranteed Safe AI<\/span><\/i><\/a><i><span style=\"font-weight: 400;\">. Este enfoque, respaldado por figuras influyentes en el campo de la IA, busca establecer principios rigurosos para el desarrollo de sistemas de inteligencia artificial seguros y confiables<\/span><\/i><span style=\"font-weight: 400;\">\u201d, agrega el investigador postdoctoral.<\/span><\/p>\n<p><b>El futuro de los empleos en software<\/b><\/p>\n<p><span style=\"font-weight: 400;\">Por \u00faltimo, en cuanto a c\u00f3mo est\u00e1 impactando la inteligencia artificial generativa (LLMs especializados en c\u00f3digo y agentes aut\u00f3nomos impulsados por IA) en las tareas relacionadas con el desarrollo y la ingenier\u00eda de software, ambos investigadores se muestran cautelosos y reflexivos.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">\u201c<\/span><i><span style=\"font-weight: 400;\">Hoy en d\u00eda much\u00edsimas tareas, no s\u00f3lo programar, sino dise\u00f1ar y pensar conceptualmente una soluci\u00f3n que resuelva un problema, est\u00e1n siendo desafiadas por el uso de la IA. Creo que en definitiva todo el trabajo intelectual, y no s\u00f3lo la construcci\u00f3n de software, est\u00e1 expuesto de alguna forma por estos avances. Con tantos aspectos a considerar, no s\u00f3lo t\u00e9cnicos sino tambi\u00e9n sociales, econ\u00f3micos y pol\u00edticos resulta dif\u00edcil estimar el impacto en t\u00e9rminos de puestos de trabajo que ser\u00e1n eliminados y creados en el futuro pr\u00f3ximo\u201d<\/span><\/i><span style=\"font-weight: 400;\">, afirma Braberman.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">\u201c<\/span><i><span style=\"font-weight: 400;\">Si bien estos avances est\u00e1n llevando a una transformaci\u00f3n radical en las tareas de desarrollo de software, este tipo de evoluci\u00f3n no es un fen\u00f3meno completamente novedoso. La forma en la que aprend\u00ed a programar entre finales de los 2000 y principios de los 2010 ya era muy distinta de d\u00e9cadas anteriores. Los entornos de desarrollo modernos ofrec\u00edan herramientas avanzadas como autocompletado de c\u00f3digo, an\u00e1lisis est\u00e1tico, sugerencias de correcci\u00f3n de errores y navegaci\u00f3n eficiente entre funciones. Si transport\u00e1ramos a un programador de los &#8217;80 a esos entornos de desarrollo, se sorprender\u00eda por el aumento en productividad que ya permit\u00edan esas herramientas<\/span><\/i><span style=\"font-weight: 400;\">\u201d, analiza Mart\u00ednez Su\u00f1\u00e9.<\/span><span style=\"font-weight: 400;\"><br \/>\n<\/span><span style=\"font-weight: 400;\"><br \/>\n<\/span><span style=\"font-weight: 400;\">De este modo, el investigador considera que la transformaci\u00f3n actual es un paso m\u00e1s en esa evoluci\u00f3n y est\u00e1 impulsada por la capacidad de los LLMs de autoformalizar, es decir, convertir instrucciones en lenguaje natural en c\u00f3digo en lenguajes formales, como los lenguajes de programaci\u00f3n. \u201c<\/span><i><span style=\"font-weight: 400;\">Aunque a\u00fan queda camino por recorrer para que estos sistemas puedan resolver problemas complejos de desarrollo de software de manera completamente aut\u00f3noma, todo indica que en el futuro cercano la mayor parte de la escritura de c\u00f3digo ser\u00e1 realizada por IA<\/span><\/i><span style=\"font-weight: 400;\">\u201d.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">En este nuevo paradigma, \u201c<\/span><i><span style=\"font-weight: 400;\">el rol del ingeniero de software evolucionar\u00e1. En lugar de escribir c\u00f3digo l\u00ednea por l\u00ednea, se enfocar\u00e1 en definir requerimientos, tomar decisiones clave de dise\u00f1o, auditar el c\u00f3digo generado y corregir errores cuando la IA no produzca el comportamiento esperado. Creo que la programaci\u00f3n, entonces, se desplazar\u00e1 hacia un modelo m\u00e1s centrado en la supervisi\u00f3n y validaci\u00f3n de sistemas de IA que generan c\u00f3digo de manera automatizada<\/span><\/i><span style=\"font-weight: 400;\">\u201d, concluye.<\/span><\/p>\n<blockquote>\n<p><b><img decoding=\"async\" class=\"lazyload size-fusion-200 wp-image-2860 alignleft\" src=\"https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-200x183.jpg\" data-orig-src=\"https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-200x183.jpg\" alt=\"\" width=\"200\" height=\"183\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27200%27%20height%3D%27183%27%20viewBox%3D%270%200%20200%20183%27%3E%3Crect%20width%3D%27200%27%20height%3D%27183%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-200x183.jpg 200w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-300x274.jpg 300w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-400x366.jpg 400w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-600x548.jpg 600w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-768x702.jpg 768w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-800x731.jpg 800w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-1024x936.jpg 1024w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-1200x1097.jpg 1200w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/V\u00a1ctorBraberman-1536x1404.jpg 1536w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 200px) 100vw, 200px\" \/>V\u00edctor Braberman<\/b><span style=\"font-weight: 400;\"> recibi\u00f3 el t\u00edtulo de Doctor en Ciencias de la Computaci\u00f3n de la Universidad de Buenos Aires (UBA). Es profesor asociado del Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, UBA y es investigador en el Instituto de Ciencias de la Computaci\u00f3n (ICC UBA-CONICET). Sus intereses de investigaci\u00f3n incluyen usos innovadores de abstracciones formales para el an\u00e1lisis, construcci\u00f3n y comprensi\u00f3n de sistemas intensivos en software. Realiza publicaciones en las principales conferencias y revistas de ingenier\u00eda de software y es revisor de las principales conferencias de la disciplina, siendo miembro actual del Consejo Editorial de Transactions on Software Engineering del IEEE. Tambi\u00e9n tiene una importante experiencia industrial en consultor\u00eda y en la direcci\u00f3n de proyectos de I+D para empresas de software.<\/span><\/p>\n<p><b><img decoding=\"async\" class=\"lazyload size-fusion-200 wp-image-2861 alignleft\" src=\"https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/Martinez-Sune-200x228.jpg\" data-orig-src=\"https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/Martinez-Sune-200x228.jpg\" alt=\"\" width=\"200\" height=\"228\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27200%27%20height%3D%27228%27%20viewBox%3D%270%200%20200%20228%27%3E%3Crect%20width%3D%27200%27%20height%3D%27228%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/Martinez-Sune-200x228.jpg 200w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/Martinez-Sune-263x300.jpg 263w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/Martinez-Sune-400x456.jpg 400w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/Martinez-Sune-600x684.jpg 600w, https:\/\/icc.fcen.uba.ar\/wp-content\/uploads\/2025\/03\/Martinez-Sune.jpg 644w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 200px) 100vw, 200px\" \/>Agust\u00edn Martinez<\/b> <b>Su\u00f1\u00e9<\/b><span style=\"font-weight: 400;\"> es investigador postdoctoral en el Oxford Control and Verification Group (OXCAV) de la Universidad de Oxford. Obtuvo su Doctorado en Ciencias de la Computaci\u00f3n en la Universidad de Buenos Aires, donde se especializ\u00f3 en m\u00e9todos de verificaci\u00f3n formal para sistemas distribuidos. Actualmente, su investigaci\u00f3n\u00a0 se centra en el desarrollo de m\u00e9todos formales para la construcci\u00f3n de inteligencia artificial segura.<\/span><\/p>\n<\/blockquote>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>La inteligencia artificial est\u00e1 impactando cada vez m\u00e1s en la automatizaci\u00f3n de tareas propias de la ingenier\u00eda de software, al punto de que una gran proporci\u00f3n de los art\u00edculos de conferencias incluyen grandes modelos de lenguaje como componentes para lograr resolver problemas de ingenier\u00eda de software. Para conocer m\u00e1s sobre el tema conversamos con dos investigadores referentes, V\u00edctor Braberman y Agust\u00edn Mart\u00ednez Su\u00f1\u00e9.<\/p>\n","protected":false},"author":9,"featured_media":2862,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12],"tags":[],"class_list":["post-2858","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-noticias"],"_links":{"self":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2858","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/users\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/comments?post=2858"}],"version-history":[{"count":1,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2858\/revisions"}],"predecessor-version":[{"id":2863,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2858\/revisions\/2863"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media\/2862"}],"wp:attachment":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media?parent=2858"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/categories?post=2858"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/tags?post=2858"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}