N-GREENS SOFTWARE
NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE
Descripción
  Resumen
  Palabras clave
  Grupos de investigación
Investigación
Personal
Charlas & Eventos
Ofertas de empleo
Contacto
Programa Anterior
PROMESAS
PROMETIDOS
Comunidad de Madrid
mid

EU flag

Grupo BABEL (UPM)

El grupo BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa, del que es investigador principal Juan José Moreno Navarro, ha sido reconocido recientemente como grupo de investigacióon por la Universidad Politécnica de Madrid.

Este grupo lleva activo más de quince años, centrando su labor investigadora en temas relacionados con las tecnologías y sistemas de programación declarativa (por ejemplo, los lenguajes lógico-funcionales Babel y Curry y el sistema Sloth que implementa éste último y la negación en Prolog incoporada en el entorno Ciao), especificación, verificación y validación de aplicaciones (mediante el lenguaje SLAM, capaz de generar automáticamente código legible y eficiente a partir de especificaciones), la aproximación rigurosa y sistemática a aspectos metodológicos de la producción de software (métodos ágiles, patrones de diseño, etc.) y, en general, el desarrollo de software fiable de forma (semi) automática.

El grupo ha llevado a cabo varios proyectos de transferencia tecnológica en las líneas anteriores (colaborando con empresas como Eliop S.A., Unión Fenosa, Ingeniería, Telefónica I+D, Answare, etc.), proyectos europeos y tiene financiación de forma ininterrumpida de la CICYT/MCYT/MEC desde el año 1988. Información más detallada puede encontrarse en la pagína web del grupo BABEL

< Volver a los Grupos de investigación