PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
| Support | |
 |
 |
Resultados
Describimos brevemente las líneas de trabajo y los resultados alcanzados durante los primeros 16 meses del Programa. La actividad realizada se ha traducido en 1 libro, en 67 artículos en congresos internacionales de alto nivel y cuyas actas se publican en las series LNCS (47), ACM (15) y IEEE (5), así como en la publicación de 26 artículos en revistas de reconocido prestigio. Además, en esta primera fase del programa, se han defendido 6 tesis doctorales y 6 tesis de máster.