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)
About
Global Summary
Keywords
Objectives
Relevance and Activities
Research Groups
Other Aspects
Research
Industrial Participation
Persons Hired
Talks & Events
Opening Positions
Support
Keywords
Software quality and reliability,
Programming languages,
Software development environments,
Specification languages,
Software validation and verification,
Declarative programming languages,
Software certification.