Modelizacion de un sistema operativo multiproposito: especificacion formal en estelle.
Tesis doctoral de Oliverio Gonzalez Alonso Se pretende aplicar una tecnica de descripcion formal (fdt) a la modelizacion de un […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Eppi: entorno paralelo orientado al procesamiento digital de imagenes.
Tesis doctoral de Quiles Flor Francisco Jose Este trabajo presenta el diseño de un entorno de programacion paralela orientado al
Soluciones formales al problema de la deteccion del interbloqueo.
Tesis doctoral de José Ramon Gonzalez De Mendivil Moreno El objetivo del trabajo ha sido el desarrollo de algoritmos de
Implementacion de especificaciones algebraicas
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su
Implantes intraoculares de pem2 e iogel analisis mediante un software personal.
Tesis doctoral de Ruiz Bilbao Susana Marta A raiz de la colocacion de la primera lente intraocular por ridley en
Tecnicas para modelage de solidos con frontera continua.
Tesis doctoral de Nuria Pla Garcia El principal objetivo de esta tesis es el estudio exhaustivo de un sistema de
Contribucion al estudio de las tecnicas de garantia de calidad del software: su incidencia en la planificacion.
Tesis doctoral de Granja Alvarez Juan Carlos Existe la necesidad de mejorar la calidad de los productos informaticos y al
Un estudio sobre la aplicacion del razonamiento basado en casos a la construccion de programas.
Tesis doctoral de Ines Mendiz Noguero Se ha desarrollado un sistema que permite sintetizar programas por medio de la deteccion
Diseño de un sistema procesador de imagenes y aplicacion a tratamiento de bajo nivel
Tesis doctoral de Garrido Del Solo Antonio Este trabajo presenta el diseño e implementacion de un sistema de desarrollo orientado
Algoritmos para la deteccion del interbloqueo en bases de datos distribuidas
Tesis doctoral de Alberto Cordoba Izaguirre Datos académicos de la tesis doctoral «Algoritmos para la deteccion del interbloqueo en