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
Fecha límite participación
Sin fecha límite de participación.
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.
¿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
Fecha límite de participación
Sin fecha límite de participación.
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