PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro
English
|
Español
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
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.