Modelo formal de evaluacion integral del proceso software.
Tesis doctoral de Marta Lopez Fernandez La importancia de la evaluación del proceso software está ampliamente aceptada por la comunidad […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Algoritmos distribuidos y masivamente paralelos con reglas locales sobre arboles equilibrados de busqueda.
Tesis doctoral de Xavier Messeguer Peypoch Presentamos un metodo que nos permite diseñar algoritmos distribuidos (asincronos) y masivamente paralelos (sincronos)
Automatic synthesis of update transaction programs in deductive databases.
Tesis doctoral de Joan Antoni Pastor Collado Datos académicos de la tesis doctoral «Automatic synthesis of update transaction programs
The use of global random directions to compute radiosity. global monte carlo techniques.
Tesis doctoral de Mateo Sbert Casasayas Las tecnicas de radiosidad, tomadas prestadas de radiative heat transfer (transferencia radiante de calor),
Una solucion al problema del interbloqueo en sistemas distribuidos con modelo and de peticion de recursos.
Tesis doctoral de Federico Fariña Figueredo Uno de los problemas que frena el desarrollo de los sistemas distribuidos es la
Especificacion formal de sistemas graficos.
Tesis doctoral de Miguel Gea Megias En la tesis se presenta un nuevo metodo de especificacion formal, orientado a la
Los bancos de items en el desarrollo de tests. aspectos psicometricos y analisis de un sistema para su desarrollo y gestion informatizada.
Tesis doctoral de Molina Ibañez Jesús Gabriel Los bancos de items, concepto ya arraigado desde hace años en la practica
Medicion y prediccion de atributos del diseño de software en una metodología formalizada.
Tesis doctoral de Luis Fernandez Sanz La medicion del software en las primeras etapas del ciclo de vida resulta insatisfactoria
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
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