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 […]
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.
«una contribucion a la optimizacion topologica de arrays logicos programables»
Tesis doctoral de Julio Ballesteros Rubio En este trabajo se estudian y desarrollan tecnicas para la optimizacion de arrays logicos
Un entorno para la creacion de software educativo. metodología de diseño y desarrollo.
Tesis doctoral de Hernandez Yañez Luis Antonio Datos académicos de la tesis doctoral «Un entorno para la creacion de
Ordenacion lineal de grafos para el almacenamiento de registros en memorias secundarias.
Tesis doctoral de José María Troya Linero Se aborda el problema de minimizar el tiempo de acceso a una memoria
Uso de conectores para la composicion coordinacion y adaptacion de componentes
Tesis doctoral de José Luis Pastrana Brincones Título de la tesis: uso de conectores para la composición, coordinación y adaptación
Discovery, adaptation and monitoring of context aware services and components
Tesis doctoral de Javier Cubo Villalba Título de la tesis: damasco: discovery, adaptation and monitoríng of context-aware services and components
On the semantics of real-time domain specific modeling languages
Tesis doctoral de José Eduardo Rivera Cabaleiro Título de la tesis: on the semantics of real-time domain specific modeling languages
Tecnicas para el analisis automatico de software descrito en lenguajes de programacion
Tesis doctoral de David Sanan Baena La verificación de modelos o model checking es un método formal que explora de
Almadraba model-driven development of aspect-oriented executable uml models (almadraba desarrollo dirigido por modelos uml orientados a aspectos)
Tesis doctoral de Pablo Sanchez Barreiro Almadraba es un proceso de desarrollo dirigido por modelos para la construcción de modelos
An infrastructure for developing applications the semantic web
Tesis doctoral de Ismael Navas Delgado El principal objetivo de esta tesis es proveer soluciones reales a problemas comunes que