PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
 | |
| Descripción | |
| Investigación | |
| Resultados | |
| Publicaciones | |
| Herramientas | |
| Participación de la empresa | |
| Personal | |
| Charlas & Eventos | |
| Ofertas de empleo | |
| Contacto | |
| Support | |
 |
 |
Líneas de investigación
El sector de software y servicios es de creciente importancia económica y estratégica, lo que provoca una necesidad urgente de mecanismos para garantizar que el software cumple con los más altos estándares en términos de fiabilidad, seguridad y calidad del servicio. El programa PROMETIDOS-CM pretende responder a esta necesidad mediante el desarrollo de métodos modulares, escalables y rentables para el desarrollo riguroso de software.Los objetivos científicos del plan de trabajo abarcan cuatro áreas temáticas relacionadas con los principales desafíos del programa:
- programación declarativa, para desarrollar la siguiente generación de lenguajes para servicios;
- especificación y verificación, para proporcionar un sólido fundamento a la descripción y el análisis de servicios;
- fiabilidad y seguridad, para garantizar soluciones robustas de principio a fin;
- eficiencia, para optimizar la calidad de los servicios en cuanto a rendimiento.
