IMDEA Software

Datos de la Entidad
Nombre Corto: 
IMDEA Software
Tipo Entidad: 
Centro Privado de Investigación
Dirección : 
Facultad de Informatica - Bloque 3 - Campus de Montegancedo - Boadilla del Monte - Madrid 28660
Provincia: 
Madrid
Código Postal: 
28660
Web: 

http://www.imdea.org/Software

Descripcion de la actividad de la entidad: 

- Investigación de excelencia a un nivel competitivo
- Transferencia de conocimiento para transferir a la industria los resutlados de la investigación
- Educación y formación, para ofrecer servicios educativos y formativos a investigadores y profesionales de la industria

Miembro INES
Razón para apuntarse a INES como Miembro: 
Nuestro área de investigacion encaja perfectamente con la agenda estratégica de INES. IMDEA Software parte a partir de la experiencia de dos miembros activos de INES (Juan José Moreno-Navarro y Manuel Hermenegildo Salinas) que además dirigen el centro
¿Desea postularse como candidato para el Comité Gestor de INES?: 
No
No
Competencias Tecnológicas: 

- Calidad y fiabilidad del software
- Modelado y validación rigurosos de software, respaldados por herramientas
- La siguiente generación de lenguajes de programación y compiladores que depuren, verifiquen y optimicen el código que generen
- Metodologías y mecanismos de desarrollo de software, especialmente software libre
- Tecnologías para la construcción y despliegue de servicios electrónicos
- Mecanismos para la composición dinámica e inteligente de servicios dirigida a contexto
- Garantizar ejecuciones robustas y fiables de los servicios

Desafíos de I+D+i: 

- Producir software sin errores o con un porcentaje muy bajo
- Manejar el aumento de la complejidad en el desarrollo software mediante modelos y abstracciones rigurosas que especifiquen problemas y soluciones de una forma muy productiva y efectiva
- Mejorar las herramientas que el programador utiliza para producir productos y servicios software con funcionalidad sofisticada que sean rentables, seguros, fiables y eficientes
- Conocer y comprender las características de los modelos y procesos y tecnologías de desarrollo que llevan al éxito a un desarrollo por sofware libre

  • 600 lecturas

Inicio de sesión

Plataformas Colaboradoras: