Skip to content

Ingeniería del Software Automatizada

El objetivo en el área es contribuir a las bases de las tareas de ingeniería de software que conducen a software de alta calidad, incluyendo temas como lenguajes de modelado, técnicas para sistemas de modelado (p.ej. basado en su ejecución observada), técnicas para (automáticamente) desarrollar software impulsado por modelos de sistemas. Además, esta área considera técnicas de análisis tales como pruebas y verificación de aspectos funcionales y no funcionales del software (p. ej., corrección, rendimiento, uso de recursos computacionales, consumo de energía, etc.).