Iniciativa IMDEA

Inicio > Investigación

Investigación en el Instituto IMDEA Software

Research Dimensions

El objetivo del Instituto IMDEA Software es el de avanzar en la ciencia y tecnología que permita el desarrollo eficiente de productos de software con funcionalidad sofisticada y alta calidad, en términos de seguridad, fiabilidad y eficiencia. Se ha elegido este área por la importancia del software como una tecnología "catalizadora" para muchos dispositivos y servicios, los severos problemas que acarrean los fallos en el software, y el coste que conlleva en la actualidad el desarrollo de software de calidad.

El desarrollo de software complejo, seguro, fiable y eficiente no es una tarea sencilla, y no se puede resolver fácilmente con "recetas mágicas" o con una gestión humana del proceso de desarrollo. Este problema afecta a todas las etapas del ciclo de vida del software: análisis, diseño e implementación. El Instituto IMDEA Software desarrollará estos aspectos acorde con las siguientes actividades:

Finalmente, hay dos aspectos fundamentales que son ubicuos en todas las actividades, las herramientas y los fundamentos matemáticos rigurosos: