Un modelo formal para la especificacion, analisis, verificacion e implantacion de protocolos de seguridad.
Tesis doctoral de Luis Mengual Galan En este trabajo, se ha concebido y desarrollado un sistema que permite la automatización […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
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
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
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