Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2008-06622-C03-01

Financiado

SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING

ESTE PROYECTO PERSIGUE PROPORCIONAR NUEVOS FUNDAMENTOS Y APLICACIONES DE TECNOLOGIAS RIGUROSAS DE DESARROLLO DE SOFTWARE QUE CONTRIBUYAN A UNA MAYOR EXPRESIVIDAD, FIABILIDAD, SEGURIDAD Y RENDIMIENTO EN EL AMBITO DE LOS LENGUAJES D... ver más

01/01/2008

UCM

323K€

Presupuesto del proyecto: 323K€

Líder del proyecto

Universidad Complutense de Madrid No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3274

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2008-01-01

0% 100%

Participantes

UCM

Lider

Proyectos interesantes

TIN2015-73968-JIN CREACION DE COMPONENTES MDE REUTILIZABLES 189K€ Cerrado

JCI-2010-08550 Teoría e Implementación de la Programación Lógica, Funcional... 101K€ Cerrado

IJC2018-035304-I Ingeniería del Software Dirigida por Modelos 93K€ Cerrado

BES-2009-024545 SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING 43K€ Cerrado

TIN2008-00276 MEJORA DEL RENDIMIENTO Y ROBUSTEZ DE LOS LENGUAJES DINAMICOS... 80K€ Cerrado

TIN2009-11555 CONSTRUCCION DE UN LENGUAJE DE TRANSFORMACION DE MODELOS TIP... 57K€ Cerrado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Líder del proyecto

Universidad Complutense de Madrid

Total investigadores 3274

Presupuesto del proyecto 323K€

Descripción del proyecto ESTE PROYECTO PERSIGUE PROPORCIONAR NUEVOS FUNDAMENTOS Y APLICACIONES DE TECNOLOGIAS RIGUROSAS DE DESARROLLO DE SOFTWARE QUE CONTRIBUYAN A UNA MAYOR EXPRESIVIDAD, FIABILIDAD, SEGURIDAD Y RENDIMIENTO EN EL AMBITO DE LOS LENGUAJES DE PROGRAMACION Y SISTEMAS SOFTWARE,LAS APORTACIONES PREVISTAS SE PUEDEN AGRUPAR EN LAS SIGUIENTES CUATRO GRANDES CATEGORIAS TEMATICAS:* FUNDAMENTOS DE NUEVAS EXTENSIONES DE LOS LENGUAJES DECLARATIVOS MULTI-PARADIGMA,* DESARROLLO DE TECNICAS RIGUROSAS QUE MEJOREN LA CONSTRUCCION DE SOFTWARE ALTAMENTE FIABLE,* DISEÑO DE HERRAMIENTAS PARA SOFTWARE CERTIFICADO PARA EL MODELADO Y MANEJO DE SISTEMAS HETEROGENEOS,* TRANSFERENCIA DE TECNOLOGIAS DECLARATIVAS A OTROS CONTEXTOS Y PARADIGMAS, COMO BASES DE DATOS Y LENGUAJES DE CONSULTA,DESDE LOS PUNTOS DE VISTA CIENTIFICO Y METODOLOGICO, EL PROYECTO CUBRE, DE UNA MANERA EQUILIBRADA, TANTO ASPECTOS TEORICOS ACERCA DE LA FUNDAMENTACION DE LAS NUEVAS PROPUESTAS, COMO ASPECTOS PRACTICOS QUE CONDUZCAN A SU IMPLEMENTACION EFECTIVA,ESTE PROYECTO CONSTITUYE UNA EVOLUCION NATURAL DEL TRABAJO COORDINADO PREVIO DE LOS TRES GRUPOS PARTICIPANTES, TODOS APORTAN UNA CONSIDERABLE EXPERIENCIA EN PROYECTOS DE I+D RELATIVOS AL AREA DE LOS LENGUAJES DE PROGRAMACION DECLARATIVA MULTIPARADIGMA Y EL DESARROLLO RIGUROSO DE SOFTWARE, CAMPOS EN QUE LA INVESTIGACION ESPAÑOLA EN GENERAL OCUPA UNA SOLIDA POSICION A NIVEL INTERNACIONAL, métodos rigurosos en software\programación multiparadigma\programación declarativa\análisis de programas\transformación\depuración\verificación\certificación\sistemas de restricciones\bases de datos\lenguajes de consulta

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores