BES-2012-054489
Financiado
OBTENCION DE SOFTWARE ADAPTABLE, ROBUSTO Y EFICIENTE AÑADIENDO REFLEXION ESTRUCT...
OBTENCION DE SOFTWARE ADAPTABLE, ROBUSTO Y EFICIENTE AÑADIENDO REFLEXION ESTRUCTURAL A LENGUAJES CON COMPROBACION ESTATICA DE TIPOS
ver más
01/01/2012
UNIOVI
43K€
Presupuesto del proyecto: 43K€
Líder del proyecto
Universidad de Oviedo
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
788
Total investigadores
788
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2012-01-01
No tenemos la información de la convocatoria
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
TIN2011-25978
OBTENCION DE SOFTWARE ADAPTABLE, ROBUSTO Y EFICIENTE AÑADIEN...
110K€
Cerrado
BES-2009-021562
MEJORA DEL RENDIMIENTO Y ROBUSTEZ DE LOS LENGUAJES DINAMICOS...
43K€
Cerrado
EEBB-I-12-04960
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
7K€
Cerrado
BES-2009-027467
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
43K€
Cerrado
PTQ-11-04639
Investigación en DSL textuales y gráficos para la especifica...
138K€
Cerrado
MoSis - Model-driven development of highly co...
MoSis - Model-driven development of highly configurable Soft...
339K€
Cerrado