Derivacion deductiva de programas funcionales con patrones
Tesis doctoral de Jesús Angel Velazquez Iturbide Datos académicos de la tesis doctoral «Derivacion deductiva de programas funcionales con […]
Tesis doctoral de Juan José Moreno Navarro
Información academica Juan José Moreno Navarro. Tesis donde Juan José Moreno Navarro ha sido autor, director o parte del tribunal.
Diseño, semantica e implementacion de babel: un lenguaje que integra la programacion funcional y logica
Tesis doctoral de Juan Jose Moreno Navarro Datos académicos de la tesis doctoral «Diseño, semantica e implementacion de babel:
Algoritmo para reparto de niveles de generacion de potencia activa entre generadores no renovables de una microrred electrica basado en funciones de coste
Tesis doctoral de Eduardo Alvarez Alvarez Los sistemas de generación distribuidos, compuestos por fuentes de generación de energías renovables y
Técnicas de predicción de destinos geográficos futuros en desplazamientos de personas
Tesis doctoral de Juan Antonio álvarez García En esta tesis se realiza un análisis de los sistemas de predicción personales
An advanced traceability schema as a baseline to improve supporting lifecycle processes
Tesis doctoral de Angelina Espinoza Limón Traceability is recognized as essential for supporting software development. However, a number of traceability
Definicion de un conjunto de metricas para la mantenibilidadde bases de datos relacionales, activas y objeto-relacionales
Tesis doctoral de Coral Calero Muñoz Las bases de datos se han constituido en el nucleo de los sistemas de
Un lenguaje para la especificacion y validacion de arquitecturas de software
Tesis doctoral de José Carlos Canal Velasco A medida que aumenta la complejidad de los sistemas de software surgen aspectos
Formalizaciones para sintetizar software orientado a objetos.
Tesis doctoral de Galan Morillo Francisco José La tesis aborda el desarrollo de un formalismo que sirva de base para
Tecnicas avanzadas de compilacion basadas en interpretacion abstracta y transformacion de programas.
Tesis doctoral de Álvaro Germán Puebla Sánchez El análisis estáticos de programas juega un papel cada vez más importante en
Selección justa en el contexto del modelo de interacción entre múltiples participantes.
Tesis doctoral de David Ruiz Cortes En esta tesis doctoral presentamos una nueva noción de selección justa a la que