La proteccion internacional de los programas de ordenador
Tesis doctoral de Enrique Fernandez Masia En esta tesis se intenta delimitar cual es el regimen juridico de proteccion internacional […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Optimizacion y paralelizacion en sintesis de escenas naturales por trazado de rayos.
Tesis doctoral de Isidro Verdu Conesa El problema que se ha abordado en este trabajo consiste en el estudio, desarrollo
Tecnicas de visualizacion y simulacion en tiempo real de entornos de conduccion: nuevos algoritmos, estructuras de datos y su gestion.
Tesis doctoral de Salavador Bayarri Romar El trabajo plantea la especificacion de una estructura de datos que permite la simulacion
Descripcion de interfaces hombres-ordenador por medio de metodos formales: aplicaciones de metodos para la evaluacion de un interfaz simulado.
Tesis doctoral de Valero Mora Pedro Miguel Esta tesis enmarca dentro de la linea de formalizar modelos de interaccion hombre-computador.
Seleccion automatica de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales.
Tesis doctoral de Javier Franch Gutiérrez La tesis presenta una metodología que permite la formulacion de requisitos y propiedades no
Comprobacion de tipos en programas incompletos.
Tesis doctoral de JavierOctavio Perez Campo El trabajo presenta el desarrollo de un sistema de comprobacion de tipos en programas
Diseño y valoracion de programas de analisis de imagen y sus aplicaciones a la cuantificacion automatica de patologías renales.
Tesis doctoral de Marco Masseroli En este trabajo de tesis doctoral se han diseñado algoritmos automaticos originales de elaboracion y
Aportacion a las tecnicas de evaluacion de la productividad del software en los entornos de programacion.
Tesis doctoral de Barranco Garcia Manuel Jose La tesis propone varios instrumentos de evaluacion y mejora de la productividad de
Integracion de tecnicas de procesamiento del lenguaje natural para la recuperacion de informacion en bibliotecas de componentes software.
Tesis doctoral de Buenaga Rodriguez Manuel De En esta memoria se hace un estudio de la forma en que las
Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).
Tesis doctoral de Yelmo Garcia Juan Carlos Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos