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.).
-
Temas de Investigación
- Lenguajes de modelado para la especificación de sistemas (computación social, sistemas ciberfísicos, gemelos digitales).
- Modelado de Incertidumbre, Análisis basado en Modelos.
- Comprobación de Modelos.
- Pruebas basadas en Modelos.
- Autómatas de Aprendizaje.Ingeniería de Seguridad basada en Modelos.
Contacto Principal
Investigadores
-
Temas de Investigación
- Líneas de Productos Software, Modelado y Análisis de Variabilidad.
- Desarrollo de Software Sostenible, Análisis de calidad.
- Implementación Energética de Sistemas Software.
Contacto Principal
Investigadores
-
Temas de Investigación
- Control de calidad de Software Automático e Inteligente.
- Inteligencia Artificial para Ingeniería de Software. Ingeniería de software e IA.
Contacto Principal
Investigadores