Última modificacion:04/27/07 03:06 pm
| S1-1 | Enumeration of connected hypergraphs |
| S1-2 | Análisis del Tiempo de Ejecución en el Peor Caso |
| S2-1 | Un Marco de Trabajo para el Desarrollo Sistemático de Interfaces de Usuario basado en UML |
| S2-2 | April - Un compilador de Prolog para .NET |
| S2-3 | Ozone Virtual Machine |
| S2-4 | Eclipse aplicado al Desarrollo Basado en Componentes (CBD) |
| S2-5 | Verificación de correctitud de programas orientados a objetos |
| S2-6 | Razonando acerca del uso de primitivas de modificación de estados: Un caso de estudio |
| S3-1 | Modelo para la creación de entornos de aprendizaje basados en técnicas de gestión del conocimiento |
| S3-2 | Pascal como primer lenguaje |
| S3-3 | Modelado de Aspectos MultiCulturales para Cursos a Distancia |
| S3-4 | Pruebas y conjeturas |
| S4-1 | Modelos Automatizables de Estimación muy Temprana del Tiempo y Esfuerzo de Desarrollo de Software de Gestión |
| S4-2 | Ingeniería de software empírica: necesidad, situación y perspectivas |
| S4-3 | Sistema de Validaciones Unificadas |
| S4-4 | JFing - Desarrollo de una Herramienta de Generación Semiautomática de Casos de Prueba |
| S4-5 | JFing - Construcción de una Herramienta CASE para la Automatización del Testing Unitario |
| S4-6 | ¿Metodologías Ágiles en Uruguay? |
| S4-7 | Metodologías ágiles ... ¿Testing ágil? |
| S4-8 | Metodología para Verificación Independiente |
| S5-1 | Fijación de tarifas de servicios de comunicaciones en redes basados en la confiabilidad de terminal a terminal| |
| S5-2 | Enumerando Caminos |
| S5-3 | Memorias adaptativas para problemas de ruteo de vehículos |
| S5-4 | Diseño de una red de acceso de una WAN |
| S5-5 | Redes de contenido: un panorama de sus características y principales aplicaciones |
| S5-6 | GRASP para el diseño de recorridos en transporte público |
| S6-1 | Trabajando para las generaciones futuras: herramientas para archivar la Web de la mejor manera posible |
| S6-2 | Meta-motor de búsqueda |
| S6-3 | Reconocimiento de entidades con nombre |
| MR-1 | Mesa redonda: Enseñanza inicial de la programación |
| MR-2 | Mesa redonda: Enseñanza en el InCo |
| MR-3 | Mesa redonda: Construyendo el desarrollo conjunto, experiencias en marcha y estrategias para el próximo período |
| S7-1 | Principal Type Specialization of Dynamic Sum-Types |
| S7-2 | Especificación y validación de sistemas |
| S7-3 | De C5 a H5 |
| S7-4 | Acumulaciones más flexibles |
| S7-5 | Un sistema de fusión para programas con efectos |
| S7-6 | Una herramienta para la fusión de programas puramente funcionales |
| S7-7 | P-SPADES un algebra de procesos para modelar sistemas de tiempo estocasticos |
| S8-1 | Un Marco de Trabajo para Evaluar la Calidad de los Datos en un Sistema de Integración de Datos |
| S8-2 | Cambios en la Calidad de las Fuentes en un Sistema de Información Multi-fuente |
| S8-3 | Proyecto Thalía |
| S8-4 | Extracción e integración de información en una arquitectura de Web Warehouses |
| S8-5 | Sistema de Gestión de la Producción Intelectual de una Universidad |
| S8-6 | Desarrollo de “Decision Support Systems” basado en Metadata de Dominios de Aplicación |
| S9-1 | Áreas de investigación relevantes para el CES |
| S9-2 | Proyecto LinkAll: Innovación Tecnológica para desarrollo socio-económico |
| S9-3 | Proyecto LinkAll: construyendo una plataforma extensible y federada |
| S9-4 | Construyendo el desarrollo conjunto: experiencias en marcha y estrategias para el próximo período |
| S9-5 | Investigación (Innovación?) & Desarrollo en la Industria de Software: una visión |