El programa PROMESAS-CM tiene como objetivo fundamental contribuir de forma decisiva al desarrollo de un software que sea seguro, fiable y de gran calidad.

Hoy en día por todos es sabido que los problemas científicos y tecnológicos que se plantean en el desarrollo de software sólo pueden ser resueltos a través de una colaboración eficaz entre distintos grupos: investigadores especializados procedentes de distintos campos, grupos de investigación relevantes en un ámbito internacional y, finalmente, empresas del campo que, a través del programa, puedan hacer uso de las tecnologías desarrolladas y asesorar sobre los problemas que interesan a los investigadores.

Los grupos que participan poseen una amplia y reconocida trayectoria en el campo de la investigación, la formación y la transferencia de tecnología, dentro del ámbito de desarrollo de software a través de técnicas declarativas rigurosas.

El programa Promesas-CM tiene un periodo de ejecución que se extiende desde enero de 2006 a diciembre de 2009.