Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

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 3277

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

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UCM

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

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

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 3277

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores