Información de Contacto | Actividades de Investigación | Actividad Docente | Publicaciones | Areas de Interés

Áreas de Interés

AREA DE INTERES: Implementación de un Sistema de Gestión de Bases de Datos Deductivas básico.

PALABRAS CLAVE: Bases de Datos Deductivas. Lógica y Bases de Datos.

CENTRO: E.U.I. (U.P.V.)

PERIODO: 1985-1987.

PUESTO:participante

AREA DE INTERES: Producción Automática de Prototipos.

PALABRAS CLAVE: Modelización Conceptual en Bases de Datos. Generación de Prototipos en entornos lógico-algebraicos.

CENTRO: D.S.I.C. (U.P.V.)

PERIODO: 1987-1989.

PUESTO: participante.

AREA DE INTERES: Formalización del Modelo Orientado a Objetos (OO) y Lenguajes de Especificación OO.

PALABRAS CLAVE: Modelo OO. Lenguajes de Especificación ejecutables. Prototipación Automática. CENTRO: D.S.I.C. (U.P.V.)

PERIODO: desde 1989.

PUESTO: responsable.

AREA DE INTERES: Metodologías de Producción Automática de Software basadas en el modelo OO.

PALABRAS CLAVE: Metodologías. Herramientas CASE. Programación Automática. Análisis y Diseño OO.

CENTRO: D.S.I.C. (U.P.V.)

PERIODO: desde 1991.

PUESTO: responsable.

AREA DE INTERES: Implementación de un Sistema de Gestión de Bases de Datos OO

PALABRAS CLAVE: Bases de Datos OO. Lenguajes de definición de datos. Lenguajes de manipulación. Restricciones de integridad. Modelo OO.

CENTRO: D.S.I.C. (U.P.V.)

PERIODO: 1993-1996.

PUESTO: Participante.

Prototipos e Innovaciones Tecnológicas

·       Implementación de un Sistema de Gestión de Bases de Datos Deductivas.

Año 1987.

Descripción: Prototipo de Sistema de gestión de Bases de Datos Deductivas en PROLOG.

·       Diseño de un Lenguaje de Especificación Formal y Orientado a Objetos (OO).

Año 1988-1991.

Financiado por el proyecto CICYT TIC 88-0572.

Descripción: Creación de un Lenguaje Formal de Especificación basado en el Modelo OO, llamado OASIS ('Open and Active Specification of Information Systems')

·       Generación de un Entorno de Prototipación Automática utilizando un Lenguaje de Especificación basado en el Modelo OO (OASIS).

Año 1992-1993

Financiado por el proyecto CICYT TIC 91-0425.

Descripción: Diseño e Implementación de un Entorno de ejecución de especificaciones OASIS mediante generación de Programas Lógicos equivalentes a la especificación fuente.

·       Elaboración de una Metodología de Producción de Software (TAIS) para el Area de Informática de la Consellería de Sanitat i Consum.

Año 1992.

Descripción: Creación de una Metodología basada en estándares de Análisis y Diseño, y adaptada a las características del entorno informático de la Consellería de Sanitat i Consum de la GV.

·       Entorno de Producción Automática de Software basado en el Modelo OO.

Año 1993.

Financiado por el proyecto CICYT TIC 91-0425.

Descripción: Generación de un Entorno Gráfico de Producción Automática de Software (OO-METHOD) en entornos declarativos a partir de los modelos generados en la fase de Análisis OO.

·       CASE/OO-METHOD.

Años 1994-...

Descripción: Diseño e Implementación de una Herramienta CASE de alto nivel y de su entorno metodológico asociado, que cubre todas las fases del ciclo de vida de producción de Software dentro de un marco OO y de Programación Visual Automática.