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