Babel Group's Projects
- "ProTest: Property-based Testing"
-
- P. Investigator:
Lars-Åke Fredlund
- Funding:
European Union, a STREP project under the
Seventh Framework Programme (FP7)
- Reference:
215868
- Amount 282.819
euros
- Duration: May
2008 - April 2011
- "DESAFIOS10 (Desarrollo de software de alta calidad, fiable, distribuido y seguro) "
-
- PROMETIDOS (PROgrama de METodos rIgurosos de DesarollO de Sofwtare de la Comunidad de Madrid)
-
- P. Coordinator: Gilles Barthe
- P. Investigator: Julio Mariño
- Funding:
Comunidad Autónoma de Madrid
- Reference: P2009/TIC-1465
- Total Amount 825.249,20 euros
- Babel Amount 132.929,34 euros
- Duration: 01/01/2010 - 31/12/2013
- "GGCC: Global GNU Compiler Collection"
-
- "DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y
Seguro"
-
- P. Investigator:
Juan José Moreno
Navarro
- Funding:
Ministerio de
Educación
y Ciencia
- Reference:
TIN2006-15660-C02-02
- Amount:
--- Euros
- Duration: Julio
2006 - Julio 2008
- "PROMESAS: Programa en métodos para el
desarrollo de software
fiable, de alta calidad y seguro"
-
- P. Investigator:
Juan José Moreno
Navarro
- Funding: Comunidad
Autónoma de Madrid
- Reference: S-0505/TIC/0407
- Amount: Proyecto:
951.180, UPM-Babel 197.795 euros
- Duration: Enero
2006 - Diciembre 2009
- "HADES: Hacia
el desarrollo de INES: Iniciativa Española en Software y
Servicios"
- P. Investigators:
Of the project, Atos Origin. From UPM, Juan José Moreno
Navarro
- Partners:
Atos Origin, UPM, ESI,
Telefónica I+D, CTIC
- Funding:
Ministerio
de
Industria, Turismo y Comercio
- Reference:
FIT-340503-2006-2
- Amount:
23.000 euros
- Duration: 2006
- "Vulcano:
Software de proyectos, Software de calidad"
- P. Investigators:
Of the project, Atos Origin. From UPM, Juan José Moreno
Navarro
- Partners:
Atos Origin, UPM, ESI,
Telefónica I+D, CTIC, ITA, URJC, Yaco, Germinus.
- Funding:
Ministerio
de
Industria, Turismo y Comercio
- Reference:
FIT-340503-2006-3
- Amount UPM:
86.184,40 euros
- Duration: 2006
"Apside: Apoyo a la
Plataforma Española en Software"
-
- P. Investigators:
Of the project, Fundación Tecnalia. From Babel Group, Juan
José Moreno Navarro.
- Partners:
Fundación Tecnalia, ESI, Atos
Origin, UPM (Grupos CLIP y Babel)
- Funding:
Ministerio
de
Industria, Turismo y Comercio
- Reference:
- Amount UPM-Babel:
3.795 euros
- Duration:
2005-2006
"SOFFIE: Software Fiable y Extensible de Alta Calidad"
-
- P. Investigator:
Juan José Moreno
Navarro
- Funding:
Ministerio de
Ciencia y Tecnología
- Reference: TIC2003-01036
- Amount:
143.000 euros
- Duration:
1/12/2003 - 30/11/2006
"SOFIA: Software Fiable y
de Alta Calidad"
-
- P. Investigator:
Juan José Moreno
Navarro
- Funding:
Ministerio de
Ciencia y Tecnología
- Reference: TIC2000-1632
- Amount:
12.320.000 pesetas
- Duration:
28/12/2000 - 27/12/2003
- "ELLA:
Extensiones de los lenguajes lógicos
para aplicaciones
avanzadas."
-
- P. Investigators:
Manuel Hermenegildo Salinas y Juan José Moreno Navarro
- Funding:
Comisión
Interministerial de Ciencia y Tecnología
- Reference:
TIC96-1012-C02-01
- Amount:
13.864.000 pesetas
- Duration:
01/08/1996 - 31/07/1999
