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 […]
Tesis doctoral de José María Troya Linero
Información academica José María Troya Linero. Tesis donde José María Troya Linero ha sido autor, director o parte del tribunal.
Programacion en paralelo y tecnicas algoritmicas.
Tesis doctoral de Garcia Lopez Felix Cesar El trabajo aborda la paralelizacion de tres de las tecnicas algoritmicas mas importantes
Tecnicas de particionamiento multidimensional basadas en la utilizacion de indices multi-atributo en bases de datos paralelas.
Tesis doctoral de Manuel Barrena Garcia Los requerimientos cada dia mas exigentes de modernas aplicaciones de bases de datos, tales
Indices multiatributo m-q para maquinas de bases de datos masivamente paralelas.
Tesis doctoral de Antonio Polo Márquez En esta tesis se propone una metodología en el estudio de indices multidimensionales. Los
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
Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas,
Sistema de identificacion y explotacion de paralelismo en programas logico-funcionales.
Tesis doctoral de Fernando Saenz Perez Los lenguajes declarativos en general y los logico-funcionales en particular poseen una capacidad expresiva
Reflexiones sobre el proceso de concepcion de sistemas complejos. medes: un metodo de especificacion, desarrollo y evolucion de sistemas software.
Tesis doctoral de José Parets Llorca Desarrollo de un metodo de desarrollo y evolucion de sistemas software basado en la
Desarrollo de metodologías para sintesis y optimizacion de circuitos logicos multinivel
Tesis doctoral de Juan Lanchares Davila El objetivo del trabajo es el estudio de la sintesis logica combinacional multinivel usando
Drl: un lenguaje logico para sistemas distribuidos de tiempo real
Tesis doctoral de Manuel Diaz Rodriguez La tesis se enmarca en el ambito de los lenguajes logicos concurrentes y su