Generacion de reglas restauradoras de la consistencia en esquemas relacionales con vistas
Tesis doctoral de Laura Mota Herranz En un sistema de base de datos, el cambio en el mundo real se […]
Tesis doctoral de Isidro Ramos Salavert
Información academica Isidro Ramos Salavert. Tesis donde Isidro Ramos Salavert ha sido autor, director o parte del tribunal.
Animación de especificaciones oasis mediante redes de petri orientadas a objeto.
Tesis doctoral de Pedro Sánchez Palma La validación mediante animación permite el desarrollo sistemático de especificaciones software claras, concisas, precisas
Generacion automatica de componentes software a partir de modelos conceptuales orientados a objetos
Tesis doctoral de Jaime Gómez Ortega Los métodos de modelado conceptual existentes en la actualidad deben proporcionar marcos de trabajo
Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado
Sabdood: un sistema administrador de bases de datos orientadas a objetos y deductivas.
Tesis doctoral de Felip López Gamino El trabajo tuvo como objetivo principal el desarrollar un sistema administrador de bases de
Un sistema de ejecucion distribuido para lenguajes orientados a objetos concurrentes.
Tesis doctoral de Antonio Jesús Nebro Urbaneja Esta tesis se enmarca en el ámbito de los lenguajes orientados a objetos
Una metodología para el desarrollo de sistemas de base de datos objeto-relacional.
Tesis doctoral de Iturrioz Sanchez Juan Ignacio Los sistemas de bases de datos (sbd) han sido tradicionalmente vistos como servidores
Oasis: un lenguaje unico para bases de datos orientadas a objetos.
Tesis doctoral de Jesús Hilario Canós Cerdá En esta tesis se aborda la utilizacion de un unico lenguaje para la
Resolucion sl*: un paradigma basado en resolucion lineal para la demostracion automatica.
Tesis doctoral de Casamayor Rodenas Juan Carlos El trabajo incluido en la presente tesis se enmarca dentro del campo de
Una solucion al problema del interbloqueo en sistemas distribuidos con modelo and de peticion de recursos.
Tesis doctoral de Federico Fariña Figueredo Uno de los problemas que frena el desarrollo de los sistemas distribuidos es la