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 […]
Accede a todas las tesis doctorales sobre Software mas relevantes.
Tesis doctoral de Luis Mengual Galan En este trabajo, se ha concebido y desarrollado un sistema que permite la automatización […]
Tesis doctoral de Marta Lopez Fernandez La importancia de la evaluación del proceso software está ampliamente aceptada por la comunidad
Tesis doctoral de Xavier Messeguer Peypoch Presentamos un metodo que nos permite diseñar algoritmos distribuidos (asincronos) y masivamente paralelos (sincronos)
Tesis doctoral de Joan Antoni Pastor Collado Datos académicos de la tesis doctoral «Automatic synthesis of update transaction programs
Tesis doctoral de Mateo Sbert Casasayas Las tecnicas de radiosidad, tomadas prestadas de radiative heat transfer (transferencia radiante de calor),
Tesis doctoral de Federico Fariña Figueredo Uno de los problemas que frena el desarrollo de los sistemas distribuidos es la
Tesis doctoral de Miguel Gea Megias En la tesis se presenta un nuevo metodo de especificacion formal, orientado a la
Tesis doctoral de Molina Ibañez Jesús Gabriel Los bancos de items, concepto ya arraigado desde hace años en la practica
Tesis doctoral de Luis Fernandez Sanz La medicion del software en las primeras etapas del ciclo de vida resulta insatisfactoria
Tesis doctoral de Javier Franch Gutiérrez La tesis presenta una metodología que permite la formulacion de requisitos y propiedades no