Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
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.
Internacional
No
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
Comunidad de Madrid
Nacionalidad Entidad
ESPAÑA
Tamaño de la entidad
Desconocido
Fecha concesión
Esta actividad pertenece a memorias de investigación
Participantes
  • Director: Manuel de Hermenegildo Salinas (UPM)
  • Participante: Purificación Arenas Sánchez (UPM)
  • Participante: Manuel Carro Liñares (UPM)
  • Participante: Edison Fernando Mera Menéndez (UPM)
  • Participante: Jose Francisco Morales Caballero (UPM)
  • Participante: Nikolaus Guyon Swoboda (UPM)
  • Participante: Samir Genaim . (UPM)
  • Participante: Elvira Albert Albiol (UPM)
  • Participante: Jesus Correas Fernandez (UPM)
  • Participante: Alvaro German Puebla Sanchez (UPM)
  • Participante: Francisco Bueno Carrillo (UPM)
  • Participante: Pawel Stanislaw Pietrzak . (UPM)
  • Participante: Pedro Lopez Garcia (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
  • Departamento: Inteligencia Artificial
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)