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

Palabras clave

  • Software fiable y de calidad,
  • lenguajes de programación,
  • entornos de desarrollo de software,
  • especificación de lenguajes,
  • validación y verificación del software,
  • lenguajes de programación declarativa,
  • certificación del software.
contact the webmaster