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"
"Vulcano: Software de proyectos, Software de calidad"
"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