PROMESAS
PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro
English     |     Español
mid
Descripción
  Resumen
  Palabras clave
  Objetivos
  Actividades
  Grupos de investigación
  Otros aspectos
Investigación
Participación de la empresa
Personal
Charlas & Eventos
Ofertas de empleo
Poster
Brochure
Links institucionales
Contacto
Support
Comunidad de Madrid EU flag

Objetivos Técnicos y Científicos.

El programa Promesas CM de I+D pertenece al campo de las Nuevas Tecnologías de la Información y se inscribe dentro del IV PRICIT, dentro de la línea científica de desarrollo de software y, más específicamente, (IV PRICIT-, cap.X, página 213): metodologías, entornos y herramientas para el software de modelado, análisis, desarrollo, validación, verificación y mantenimiento; fiabilidad y calidad del software; nuevos lenguajes, entornos de programación y desarrollo de modelos de software y especificaciones de concurrencia en la programación, desarrollo de software libre e ingeniería.

El objetivo principal es contribuir firmemente al desarrollo de productos de software que sean seguros, fiables, de gran calidad. Los grupos solicitantes han llevado a cabo una extensa labor investigadora sobre esta cuestión, les une un nexo fuerte en cuanto a sus puntos de vista científicos: el uso de tecnologías declarativas y rigurosas para el desarrollo de software. El presente plan científico se justifica por esta actividad investigadora, continuado por proyectos actuales (y esperamos que en el futuro demandados) de los cuatro grupos solicitantes.

contact the webmaster