Menu:

• Descripción
• Patrocinio
• Personal
• Ofertas de empleo
• Investigación
• Fundamentos
• Áreas de aplicación
• Líneas de investigación
• Publicaciones
• Eventos
• Contacto y cómo llegar
• Contratación pública
• Preguntas frecuentes

Investigación en IMDEA Software

El objetivo de 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, y 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 la etapas del ciclo de vida del software (dimensión vertical en la figura): análisis, diseño e implementación. IMDEA Software desarrollará estos aspectos de acorde con las siguientes actividades (dimensión horizontal en la figura):

• Metodologías: el desarrollo de metodologías rigurosas, y su aplicación industrial, conllevarán una mejora del proceso de desarrollo de software.
• Lenguajes: Los lenguajes de programación son el vehículo para expresar la funcionalidad del software, su comportamiento y sus propiedades. La especificación, el diseño de software y el uso de lenguajes de programación adecuados son clave para la producción de código que sea efectivo, seguro, fiable y eficiente, y con funcionalidad sofisticada.
• Verificación y validación: existe una necesidad creciente de métodos potentes, con fundamento semántico formal, y con soporte de herramientas para validar diseños y código final respecto a sus especificaciones.
• Adaptación y optimización: es muy importante que el software se ajuste al uso adecuado y óptimo de recursos para alcanzar su objetivo.

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

• Herramientas: IMDEA Software desarrollará prototipos de herramientas con un fundamento científico que ayuden en la automatización del proceso de desarrollo de software de alta calidad. Las herramientas son fundamentales para alcanzar el objetivo de la transferencia tecnológica a la industria.
• Fundamentos: las metodologías y lenguajes de programación tienen que estar sustentados por fundamentos matemáticos rigurosos, a la par que prácticos, para que puedan utilizarse en la construcción de las herramientas mencionadas.