Program in Methods for the Development of Dependable, High-Quality, and Secure Software
(PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro)
| Support | |
 |
 |
Keywords
- Software quality and reliability,
- Programming languages,
- Software development environments,
- Specification languages,
- Software validation and verification,
- Declarative programming languages,
- Software certification.
