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
×
(2008) 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
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
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
Proyectos de I+D+i
Todos
Proyecto de I+D+i
Desafios: Desarrollo de Software de Alta Calidad, Fiable y Seguro
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Desarrollo de Tecnologías Colaborativas para el Proceso Legislativo y Su Aplicación a la Ley de la Ciencia y la Tecnología 2009
Tipo de proyecto
:
Proyectos y convenios de financiación pública no competitiva
European Master Course in Computational Logic
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
European Masters Course on Software Engineering (Erasmus Mundus). Curso 2008-2010.
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Fines: Favoreciendo la Participación Española en Programas Internacionales de Colaboración Relacionados con Software y Servicios por Medio de la Plataforma Tecnológica Española Ines.
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Ggcc: Global Gnu Compiler Collection
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Master de Ingeniería del Software - Modalidad Presencial
Tipo de proyecto
:
Otros tipos de proyectos
Plan General de Calidad de la Investigación
Tipo de proyecto
:
Otros tipos de proyectos
Promesas-Cm: Programa en Métodos para el Desarrollo de Software Fiable de Alta Calidad y Seguro de la Comunidad de Madrid.
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Protest: Property-Based Testing
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Protest: Property-Based Testing. Acción Complementaria
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Sparcim: Spanish Research Consortium For Informatics And Mathematics
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Vulcano
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas