PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro
|
|||||
|
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. |
||||