Memorias de investigación
Research Project:
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
Year:2012

Research Areas
  • Engineering

Information
Abstract
El programa pretende integrar y reforzar las actividades internacionalmente reconocidas de cinco grupos de investigación de la CM en el área de software de alta calidad, fiable y seguro: IMDEA-Software, UPM-CLIP, UPM-BABEL,UCM-FADOSS y UCM-GPD. Los cuatro últimos integran el exitoso programa Promesas-CM, del que Prometidos-CM surge como evolución. La colaboración entre los grupos, junto con la participación de socios industriales (actualmente, Atos Origin, BBVA GlobalNet, Deimos Space, Telefónica I+D y Thales), proporcionará la masa crítica necesaria para avanzar significativamente en los objetivos propuestos.
International
Si
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Comunidad de Madrid
Entity Nationality
ESPAÑA
Entity size
Gran Empresa (>250)
Granting date
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial