INGENIERÍA DE SOFTWARE2018-11-14T10:55:41-03: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
Galeotti, Juan Pablo
Garbervetsky, Diego David
Melgratti, Hernan Claudio
Schapachnik, Fernando Pablo
Uchitel, Sebastian

Investigadores en Formación

Arcuschin Moreno, Iván
Brassesco, María Virginia
Gagliardi, Hernán
Godoy, Javier
Marottoli, Daniela
Martinez Suñé, Agustín Eloy
Postolski, Ivan
Sanzo, Alfredo Hector
Schinca, Herman
Soifer, Alexis Damián

Más información del área.

Investigadores argentinos recibieron el Best Paper Award en una prestigiosa conferencia internacional de teoría de la computación

2/enero/2024|0 Comments

Se trata de Carlos López Pombo y Agustín Martinez Suñé quienes, en colaboración con el investigador italiano Emilio Tuosto, publicaron un trabajo de relevancia sobre el análisis automático de propiedades de calidad en sistemas distribuidos. El reconocimiento al paper fue en el coloquio internacional ICTAC 2023 (20th International Colloquium on Theoretical Aspects of Computing), que se desarrolló en diciembre y reúne anualmente a los principales expertos en aspectos teóricos de la computación.

Desafíos en el análisis estático de software

13/diciembre/2018|0 Comments

En esta nota, se exploran las oportunidades de realizar el análisis estático y automático de código en un set de máquinas distribuidas en la nube, con la posibilidad de utilizar algoritmos elásticos en memoria.

Comunicate con el ICC

Go to Top