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.
< Volver a los Grupos de investigación
|