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

The main goal of the PROMESAS-CM program is to contribute resolutely to the development of secure, reliable and high-quality software.

It is currently assumed that the scientific and technological problems posed in this area of research can only be solved by means of the effective collaboration of specialized researchers with varied skills, the collaboration of relevant international research groups, and the involvement of companies in the field, that on the one hand can make use of the technology developed in the program, and on the other hand can advise the researchers about the problems they are interested in.

All the research groups involved in PROMESAS-CM have a widely recognized record in research, training, and technology transfer inside the field of software development by means of rigorous declarative techniques.

The PROMESAS-CM program runs from January 2006 to December 2009.

contact the webmaster