Generación dinámica de invariantes para composiciones de servicios web en ws-bpel
Tesis doctoral de Manuel Palomo Duarte En los últimos años, las arquitecturas orientadas a servicios están cambiando la filosofía de […]
Tesis doctoral de Inmaculada Medina Bulo
Información academica Inmaculada Medina Bulo. Tesis donde Inmaculada Medina Bulo ha sido autor, director o parte del tribunal.
Búsquedas genéticas: métodos de optimización global y optimización combinatoria
Tesis doctoral de Juan José Domínguez Jiménez Esta tesis se enmarca en la aplicación de algoritmos genéticos a la optimización
Verificación formal en acl2 del algoritmo de buchberger
Tesis doctoral de Inmaculada Medina Bulo En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar