 |
|
 |
|
|
|
|
| |
 |
|
| |
Ambientes colaborativos y groupware |
 |
|
| |
Nuestro trabajo en esta área afronta los desafíos propios de la concepción y desarrollo de soluciones innovadoras para el aprendizaje y trabajo en forma colaborativa. A tal fin se consideran aspectos como awareness y tailoring aplicando técnicas y tecnologías tales como redes de pares y web semántica. Los resultados toman la forma de herramientas de colaboración innovadoras y métodos de colaboración así como metodologías para el diseño y desarrollo.
|
|
| |
Teoría y métodos formales |
|
|
| |
La investigación del grupo de Teoría y Métodos Formales incluye la programación funcional, el análisis formal de lenguajes de programación, Fork algebras y métodos formales en la ingeniería de software. Este grupo estudia como la especificación formal puede complementar el desarrollo de software y como puede ayudar a clarificar la semántica de las notaciones (por ejemplo para lenguajes de análisis y diseño, lenguajes de programación) y de los conceptos. |
|
| |
Ingeniería web |
|
|
|
En este área nos concentramos en los enfoques de diseño y modelado para la construcción de aplicaciones Web en forma modular. Los proyectos de este área son una evolución de nuestros trabajos previos en el método de diseño de hipermedia orientada a objetos OOHDM. Actualmente se están conduciendo investigaciones de campo relacionadas con aplicaciones Web móviles (tales como hipermedia física, software sensible al contexto, etc).
|
|
| |
|
|
|
|
SIG y computación móvil |
|
|
|
|
Este grupo de investigación enfrenta los desafíos de la construcción de aplicaciones geográficas, particularmente las móviles, desde la perspectiva de la ingeniería de software. El trabajo se orienta en los diferentes enfoques arquitecturales necesarios, con especial énfasis en la calidad de dichas aplicaciones.
|
|
|
|
|
|
|
 |
