PROMESAS
PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro
English     |     Español
mid
Descripción
  Resumen
  Palabras clave
  Objetivos
  Actividades
  Grupos de investigación
  Otros aspectos
Investigación
Participación de la empresa
Personal
Charlas & Eventos
Ofertas de empleo
Poster
Brochure
Links institucionales
Contacto
Support
Comunidad de Madrid EU flag

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

contact the webmaster