Proyectos Internacionales
Fui responsable de la tarea 6, dentro del proyecto pre-competitivo
Ingeniería de Ambientes de Software
(IDEAS), financiado por el Programa Iberoamericano de Ciencia y
Tecnología para el Desarrollo
(CYTED).
Dicha tarea consistio en estudiar el uso de técnicas para el tratamiento
de incertidumbre en herramienta de modelación orientadas a objetos.
Para ello, se comenzó por evaluar el uso de la lógica difusa
dentro de un modelo orientado a objetos, para luego extenderlo a un lenguaje de
especificación y, en particular, se propuso OASIS (Universidad
Politécnica de Valencia). Este es un lenguaje de especificación
algebraico para modelar conceptos orientados a objetos. Se publicó
una primera versión de este modelo en ASOVAC2000. A continuación
el modelo fue desarrollado ampliamente en mi Trabajo de Ascenso (premiado
por el CDCHT en el 2005) y extendido en un Trabajo Especial de Grado de la
Escuela de Ingeniería Informática para enriquecer el modelo
orientado a objetos de JAVA. Pronto será enviado a una revista
internacional.
Mi
tesis de doctorado, estuvo enmarcada dentro del proyecto europeo
DRUMS (Defeasible Reasoning and Uncertainty Management Systems).
Esto produjo, después de finalizada la tesis, dos artículos:
"A Logic for Treatment of Uncertainty and Incompleteness" en IBERAMIA94
y "Sistema Axiomatico para el Tratamiento de la Incertidumbre" en CLEI94.
La maestría la realicé en la Ecole Supérieure
d'Electricité en Rennes
(SUPELEC)
y el trabajo final fue sobre un traductor automatizado para código
ensamblador realizado en PROLOG. El proyecto fue financiado por la empresa
Ouest Standard Télématique.