Se estudian aspectos relativos a la construcción sistemática de aplicaciones Web. Se investiga acerca de métodos, patrones y frameworks orientados al desarrollo de aplicaciones Web en áreas diversas tales como aprendizaje a distancia, comercio electrónico y ambientes para ingeniería de software. Actividades de investigación fuertemente ligadas al desarrollo de aplicaciones concretas para la industria en las cuales se aplican los conocimientos desarrollados en el proyecto.
Domain specific toolkits for objet oriented groupware:
El objetivo de este proyecto es el estudio y desarrollo de medios y herramientas para el análisis, diseño, implementación y evaluación de toolkits(herramientas?) para la construcción de aplicaciones de groupware orientado a objetos en dominios específicos.
Hipermedia e Ingeniería de aplicaciones web:
Estudia distintos aspectos vinculados a la ingenieria de aplicaciones Web.
4,10,11
Bases de datos y sistemas de información geográfica
Desarrollos teóricos y aplicados.
Bases de datos Orientadas a Objetos (OODB) y Sistemas de Información Geográfica (GIS). Los proyectos en curso incluyen un modelo para diseño orientado a objetos de sistemas de información geográfica, que es compatible con la especificación Open GIS.
Base de datos orientada a objetos:
El proyecto abarca el estudio y la utilización de bases de datos orientadas a objetos como base para la implementación de aplicaciones geográficas.
Sistemas de Información Geográfica:
El proyecto abarca el desarrollo de una arquitectura orientada a objetos para el diseño de aplicaciones geográficas; el principal objetivo es la posibilidad de modelizar las características esenciales de la información espacial, como la topología, posiciones y el sistemas de referencia.
9
Hypermedia, multimedia y ambientes colaborativos
Sus desarrollos consisten en crear ‘ambientes donde se pueda compartir el conocimiento y trabajar cooperativamente’. Este área se encuentra trabajando en el diseño de un lenguaje de patrones para aplicaciones de hipermedia y varias actividades relacionadas con el diseño y desarrollo web. Diseño de hipermedia basado en modelos, uso de lenguajes de consulta como medio para retornar información hipermedial, tecnologías WWW aplicadas a la educación a distancia, diseño de ambientes virtuales y Ciencias de la Computación en Educación.
Proyectos en curso:
Ambientes Virtuales Cooperativos:
En este proyecto se investiga los problemas que involucra el desarrollo de aplicaciones CVEs. Para ello se desarrollan modelos, metodologías y ambientes de desarrollo.
Hipermedia Colaborativa :
Un ambiente de Hypermedia Colaborativo permite a un conjunto de usuarios navegar y manipular una estructura de Hypermedia en un escenario colaborativo. Se estudian metodologías de diseño y patrones que permiten construir sistemáticamente este tipo de aplicaciones.
5 y 6
Métodos formales
Es el área más teórica.
Los Métodos Formales consisten en herramientas, técnicas y metodologías que se basan en la lógica, el álgebra y otros campos de las matemáticas y de la informática. El uso de ellos permite desarrollar software seguro y verificar las propiedades deseables de software existente en lugar de testear sus violaciones.
Proyectos en desarrollo:
Análisis Formal de lenguajes orientados a objetos
Formalizing Evolutionary Software Development Process
Integración de técnicas de modelado orientado a objetos con técnicas de especificación formal.
Lisex seguro
Reescritura, Lambda-Cálculo y sustituciones explícitas.
RELMICS (Relational Methods in Computer Science)
Type Specialisation para Lenguajes Polimórficos.
7,8,12
Tecnologia de orientación a objetos21
Este área trabaja en diseño orientado a objetos, en particular la utilización de patrones de diseño para obtener software de alta calidad. También estudian enfoques modernos para aprender tecnologías orientadas a objetos, visualización de arquitecturas orientadas a objetos y frameworks para dominios de hipermedia. Proyectos en curso:
Domain specific toolkits for object oriented groupware. Estudio y desarrollo de medios y herramientas para el análisis, diseño, implementación y evaluación de toolkits para la construcción de aplicaciones de groupware orientado a objetos en dominios específicos.
Integración de técnicas de Modelado Orientado a objetos contécnicas de especificación formal.
Patrones de negocios. Este proyecto se ocupa del desarrollo de frameworks para aplicaciones de negocios.
