Herramientas Personales
Usted está aquí: Inicio / Investigación / Ingeniería de Software

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).