{"id":278,"date":"2018-05-08T23:22:21","date_gmt":"2018-05-08T23:22:21","guid":{"rendered":"http:\/\/admin200486010878.com.ar\/clientes\/icc\/?page_id=278"},"modified":"2018-11-14T10:55:41","modified_gmt":"2018-11-14T13:55:41","slug":"ingenieria-de-software","status":"publish","type":"page","link":"https:\/\/icc.fcen.uba.ar\/en\/ingenieria-de-software\/","title":{"rendered":"INGENIER\u00cdA DE SOFTWARE"},"content":{"rendered":"

<\/span><\/div><\/div>

INGENIER\u00cdA DE SOFTWARE<\/h2><\/h1><\/div>
<\/div><\/div><\/div><\/div><\/div>

Hacer ciencia en Ingenier\u00eda de Software es entender c\u00f3mo construir mejor software. Cada d\u00eda se necesitan m\u00e1s programas para ejecutar aplicaciones y servicios, con menos errores, m\u00e1s r\u00e1pidos, y que consuman la menor cantidad de recursos tales como espacio o energ\u00eda. Asimismo, se necesita reducir el costo de crear y mantener estos programas. Las respuestas a estos desaf\u00edos son complejas e incluyen tanto aspectos tecnol\u00f3gicos como metodol\u00f3gicos. En el ICC<\/strong> investigamos tres aspectos: Los lenguajes que deben usar los ingenieros de software (tanto para modelar como para programar), qu\u00e9 propiedades deben tener estos lenguajes y qu\u00e9 certezas tendr\u00e1n los ingenieros al usarlos. El segundo son los algoritmos que puedan entender autom\u00e1ticamente programas y modelos ayudando a ingenieros de software a tener confianza en que son correctos. El tercero es la generaci\u00f3n autom\u00e1tica de programas a partir de modelos formales.<\/p>\n

Keywords: An\u00e1lisis de Programas, Testing, Model Checking, S\u00edntesis de Controladores<\/strong><\/span><\/p>\n<\/div>

<\/div><\/div><\/div><\/div><\/div>

Grupos.<\/span><\/h2><\/div>
<\/div>
<\/div><\/div>
<\/div>
\"\"<\/div>

Laboratorio de fundamentos y herramientas de ingenier\u00eda de software.(LaFHIS)<\/h2><\/a><\/div>
<\/div>+ info<\/a>
<\/div><\/div><\/div>
<\/div><\/div>
<\/div><\/div><\/div>
<\/span><\/div><\/div><\/div><\/div>
<\/div><\/div><\/div><\/div><\/div>
<\/div>
<\/div><\/div>
<\/div>
\n

Investigadores Consolidados<\/h2>
<\/a><\/div>
Braberman, Victor Adrian<\/div><\/div>
<\/a><\/div>
Galeotti, Juan Pablo<\/div><\/div>
<\/a><\/div>
Garbervetsky, Diego David<\/div><\/div>
<\/a><\/div>
Melgratti, Hernan Claudio<\/div><\/div>
<\/a><\/div>
Schapachnik, Fernando Pablo<\/div><\/div>
<\/a><\/div>
Uchitel, Sebastian<\/div><\/div>

Investigadores en Formaci\u00f3n<\/h2>
<\/a><\/div>
Brassesco, Mar\u00eda Virginia<\/div><\/div>
<\/a><\/div>
Gagliardi, Hern\u00e1n<\/div><\/div>
<\/a><\/div>
Garc\u00eda, Felicitas<\/div><\/div>
<\/a><\/div>
Godoy, Javier<\/div><\/div>
<\/a><\/div>
Perdomo Rojas, Juan Felipe<\/div><\/div>
<\/a><\/div>
Wappner, Daniel<\/div><\/div>
<\/a><\/div>
Zanollo, Florencia<\/div><\/div><\/section><\/div>\n\n\n\n\n\t\n\t
\t\t\t
\n<\/div>\n\t\t<\/div>
<\/div><\/div>
<\/div><\/div><\/div><\/div><\/div>

M\u00e1s informaci\u00f3n del \u00e1rea<\/span>.<\/span><\/h1><\/div>