Invariant-free deduction systems for temporal logic
Tesis doctoral de Jose Gaintzarain Ibarmia In this thesis we propose a new approach to deductionmethods for temporal logic. Our […]
Tesis doctoral de ernesto Pimentel sanchez
Información academica ernesto Pimentel sanchez. Tesis donde ernesto Pimentel sanchez ha sido autor, director o parte del tribunal.
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
An object-oriented formal notation: executable specifications in clay
Tesis doctoral de ángel Herranz Nieva La tesis introduce clay, una notación formal orientada a objetos que busca acercar los
Un enfoque en la proteccion e sistemas de agentes
Tesis doctoral de Antonio Jesús Muñoz Gallego Resumen: esta tesis presenta dos soluciones para la protección de sistemas basados en
On discovering semantic correspondences between ontologies
Tesis doctoral de Jorge Martinez Gil Titulo de la tesis: on discovering semantic correspondences between ontologies resumen: el principal objetivo
Run-time behavioural adaptation of components and services
Tesis doctoral de Javier Camara Moreno The main goal of this thesis is the definition of a process for the
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
Incremento del potencial de reutilización del software mediante refactorizacion.
Tesis doctoral de Xania Crespo Gonzalez-carvajal En este trabajo se estudia el area de la reestructuracion y reorganizacion de elementos
Modularidad en programacion lógico-funcional de primer orden
Tesis doctoral de Molina Bravo Juan Miguel Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en
Modelo de disfraces: hacia la adaptabilidad de restricciones de sincronización en los lenguajes concurrentes orientados a objetos.
Tesis doctoral de Fernando Sánchez Figueroa De la unión de los paradigmas de programación concurrente orientada a objetos (pcoo). Este