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
Perfil tecnológico estimado
Línea de financiación: concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2012-01-01
Presupuesto
El presupuesto total del proyecto asciende a
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
787
Total investigadores
787
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