Herramientas Personales
Usted está aquí: Inicio / ICC / Áreas de Investigación / Ingeniería de Software
Agenda [Ver +]
Defensa Tesis Doctorado Guido Chari 13/12/2017 14:00 — Laboratorio 4
Charla de la Carrera 13/12/2017 18:30 — Hall Central
Defensa Tesis Licenciatura Santiago Alvarez Colombo 14/12/2017 17:00 — Laboratorio 5
 

Ingeniería de Software

El área comprende métodos, ambientes y herramientas que dan soporte automatizado o semi-automatizado para la construcción de sistemas que hacen un uso intensivo de software. Los integrantes del área tienen interes en la especificación, construcción, análisis, verificación, validación y síntesis de artefactos vinculados al proceso de desarrollo de software utilizando tanto métodos formales como empíricos.

 

El área esta compuesta basicamente por dos grupos de investigación:

- LAFHIS: Laboratorio de Fundamentos y Herramientas para la Ingeniería de Software

- RFM: Grupo de investigación de Métodos Formales Relacionales

Ambos grupos han publicado trabajos en las principales conferencias y revistas del área y han desarrollado un importante número de herramientas (disponibles en las páginas grupales).