• Proyectos
    Internacional Nacional
  • OTRI
  • Estructuras
  • Cátedras
  • Spinoff Startups
  • HUB Digital de Innovación
  • Portal científico
  • Idioma
    Español Inglés

  • | Memorias de investigación
  • | Grupos de Investigación
  • | Estructuras
  • HOME
Grupos de Investigación Departamentos UPM Centros/Institutos I+D+i Escuelas y facultades Cátedras Universidad Empresa
Actividad

(2013) Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa

Opciones
Exportar a Excel Cambiar año

Tipos de actividades
  • Proyectos de I+D+i
  • Publicaciones
  • Formacion de inv
  • Explotación
  • Otros méritos

Proyectos de I+D+i y generación de recursos
Subtipos de actividades

Proyecto de I+D+i

Apoyo en la Elaboración de una Propuesta de Proyecto Europeo Strep (Ict 2013.3,4) Polca Embedded Systems And Hpc Get Together. Programming Large Scale Heteregeneous Infrastructures
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
Apoyo para el Diseño e Implementación de Framework para el Procesado Masivo de Datos Social Media
  • Tipo de proyecto:
Definición de Prioridades y Estrategias para el Fomento de la Investigación , Desarrollo e Innovación de las Tic en Ecuador
  • Tipo de proyecto: Proyectos y convenios de financiación privada
European Masters on Software Engineering
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
European Masters on Software Engineering, 2010/2012 Edition
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
European Masters on Software Engineering, 2011/2013 Edition
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
Nsafecer: Safety Certification of Software-Intensive Systems With Reusable Components
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
Programming Large Scale Heterogeneous Infraestructures Polca
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
Prometidos-Cm
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
Prometidos-Cm: Programa de Metodos Rigurosos de Desarrollo de Software. Parte Upm Babel
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
Prowess: Property-Based Testing of Web Services
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
Psafecer: Psafety Certification Opf Software-Intensive Systems With Reusable Components
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
Strongsoft: Secure Technologies For Reliable Open New Generation Software
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
Tecnologias Rigurosas para Software de Nueva Generacion Abierto y Fiable
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas
2010 /001 - 001 - Em1 - Emmc . 2007 - 0065 - Erasmus Mundus
  • Tipo de proyecto: Proyectos y convenios en convocatorias públicas competitivas

S2i 2026 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM