INGENIERÍA DE SOFTWARE 2018-11-14T10:55:41+00:00

INGENIERÍA DE SOFTWARE

Hacer ciencia en Ingeniería de Software es entender cómo construir mejor software. Cada día se necesitan más programas para ejecutar aplicaciones y servicios, con menos errores, más rápidos, y que consuman la menor cantidad de recursos tales como espacio o energía. Asimismo, se necesita reducir el costo de crear y mantener estos programas. Las respuestas a estos desafíos son complejas e incluyen tanto aspectos tecnológicos como metodológicos. En el ICC investigamos tres aspectos: Los lenguajes que deben usar los ingenieros de software (tanto para modelar como para programar), qué propiedades deben tener estos lenguajes y qué certezas tendrán los ingenieros al usarlos. El segundo son los algoritmos que puedan entender automáticamente programas y modelos ayudando a ingenieros de software a tener confianza en que son correctos. El tercero es la generación automática de programas a partir de modelos formales.

Keywords: Análisis de Programas, Testing, Model Checking, Síntesis de Controladores

Investigadores Consolidados

Braberman, Victor Adrian
D'ippolito, Nicolas Roque
Galeotti, Juan Pablo
Garbervetsky, Diego David
Lopez Pombo, Carlos
Melgratti, Hernan Claudio
Schapachnik, Fernando Pablo
Uchitel, Sebastian
Yovine, Sergio

Investigadores en Formación

Arcuschin Moreno, Ivan
Brassesco, María Virginia
Castaño, Rodrigo
Cerrutti, Mariano
Ciolek, Daniel Alfredo
Czemerinski, Hernan
Martinelli, Fernán Gabriel
Martinez Suñé, Agustín Eloy
Nahabedian, Leandro Ezequiel
Perez, Gervasio Daniel
Postolski, Ivan
Rodriguez, Natalia Andrea
Roldan, Christian
Sanzo, Alfredo Hector
Schinca, Herman
Soifer, Alexis Damián
Zoppi, Edgardo

Más información del área.

  • ¿Cómo se comporta un software?_ICC

¿Cómo se comporta un software?

30/mayo/2018|0 Comments

En la actualidad el Instituto de Ciencias de la Computación (ICC) cuenta con un área de Fundamentos de la Ingeniería de Software, donde se está trabajando en mejorar el entendimiento sobre el desarrollo de software

Comunicate con el ICC