PROMESAS
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)
English     |     Español
mid
About
  Global Summary
  Keywords
  Objectives
  Activities
  Research Groups
  Other Aspects
Research
Industrial Participation
People
Talks & Events
Open Positions
Poster
Brochure
Institutional Links
Contact Us
Support
Comunidad de Madrid EU flag

Keywords

  • Software quality and reliability,
  • Programming languages,
  • Software development environments,
  • Specification languages,
  • Software validation and verification,
  • Declarative programming languages,
  • Software certification.
contact the webmaster