PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro
| Support | |
 |
 |
Grupo FADOSS (UCM)
El grupo FADOSS: Diseño y Análisis Formal de Sistemas Software, del que es investigador principal Narciso Martí Oliet, también ha sido reconocido recientemente como grupo de investigación oficial por la Universidad Complutense de Madrid. Este grupo surge de la evolución y reorganización del grupo de métodos formales para la concurrencia, liderado desde los años 80 por David de Frutos y pionero en nuestro país en el campo de los modelos algebraicos para la concurrencia. Los miembros actuales del grupo han participado, entre otros, en los siguientes proyectos CICYT: DISC, DFSD, EDEN, AMEVA, MELODIAS y MIDAS. Este grupo también ha perseguido la aplicación de los desarrollos teóricos alcanzados en sistemas concretos de especificación (Maude), programación (Maude y Eden) y verificación (ITP). Información más detallada puede encontrarse en la página web UCMaude.