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
×
(2006) 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
Acción Integrada Hispano-Portuguesa. Representación del Conocimiento con Información Negativa.
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Apside: Apoyo a la Plataforma Española en Software (Fit - 340000-2005-406)
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Desafios: Desarrollo de Software de Alta Calidad, Fiable y Seguro. (Tin2006-15660-C02-02)
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Global Gnu Compiler Collection (Fit-350400-2006-44)
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Gridcoord: Era Pilot on a Co-Ordinated Europe-Wide Initiative in Grid Research
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Hades: Hacia el Desarrollo de Ines: Iniciativa Española en Software y Servicios. (Fit-340503-2006-2)
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Integrating Proof Theoretic Techniques And Semantic Tools in Proof Carrying Code And Validation And Analysis of Declarative Code
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Promesas: Programa en Métodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro (S-0505/Tic/0407)
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Representación del Conocimiento con Información Negativa
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Soffie: Software Fiable y Extensible de Alta Calidad (Tic2003-01036)
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Teson: Tecnología para la Sostenibilidad de la Universidad de Ngozi
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Vulcano: Software de Proyectos, Software de Calidad. (Fit-340503-2006-3)
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas