PROGRAMA PROVISIONAL DE LAS JISBD´2001

 

 

Miércoles 21 de noviembre

 

 

 

 

9:00

Registro y entrega de documentación

 

9:30

Apertura

 

10:00

 

Conferencia 1

 

11:00

Pausa-Café

 

11:30
Sesión 1A. Sistemas distribuidos

1.    Semicomposición distribuida

2.    CORBA lightweight components: an early report

3.    Jreplica: modelo de replicación transparente e independiente del ORB

4.    Un estilo arquitectónico para la federación de sistemas basados en procesos

5.    Orientando a aspectos la captura de datos de Internet para activar reglas de decisión en agentes Web
Sesión 1B. Pruebas y Mantenimiento

1.       SEGESOFT: Entorno de entrenamiento para la gestión de proyectos software

2.       Como modelar el efecto en la planificación de proyectos por la detención tardía de defectos; La red de calidad incremental

3.       Entorno global para la gestión del proceso de mantenimiento del software

4.       Esquema de caracterización para la selección de técnicas de pruebas

5.      Entorno basado en el uso de técnicas formales para el desarrollo y pruebas de sistemas

Sesión 1C. Miscelánea

1.       Selección conjunta de componentes COTS

2.       Un entorno para el desarrollo de modelos de flujo de trabajo

3.       Representación de restricciones difusas en un modelo conceptual

4.       El rendimiento en sistemas de programación persistentes

5.      Un modelo de madurez para investigación-acción en sistemas de información

14:00

Comida

 

16.00

Taller: Impacto de la tecnología XML en las Bases de Datos

Taller: Ingeniería del Software basada en componentes distribuidos

Taller: Evolución del Software

 

17:30

Pausa-Café

17:45

Taller: Impacto de la tecnología XML en las Bases de Datos

(continuación)

Taller: Ingeniería del Software basada en componentes distribuidos

(continuación)

Taller: Evolución del Software (continuación)

 

 

18:00                                                                   Reunión del Comité Permanente

 

20:00

 

 

21.30

 

 

 

 

 

 

Jueves 22 de noviembre

 

 

 

 

9:00

Conferencia 2

 

9:30

 

10:00

 

Ponencia Invitada 1

Ponencia Invitada 2

11:00

Pausa-Café

 

11:30
Sesión 2A. Desarrollo OO

1.   Principios y patrones en el diseño orientado a objetos

2.   Definición de un marco de trabajo para el análisis de refactorizaciones de software

3.   Tratamiento de excepciones a nivel de modelado conceptual OO

4.   Hacia una metodología de desarrollo para la construcción de entornos virtuales

5.  Generación automática de prototipos de interface de usuario a partir de modelos de requisitos

Sesión 2B. Técnicas formales y verificación

1.    Towards rigorous and effective type contracts

2.    Verificación automatizada eficiente de sistemas concurrentes especificando sus propiedades con fórmulas de una lógica de intervalos

3.    Generación de restricciones del entorno para verificación modular utilizando reglas de asociación

4.    Verifying reuse contracts with a component model

5.    From MADE specifications to SOAP distributed implementations:a smooth transition
Sesión 2C. Calidad Software

1.    Una experiencia en la obtención de un instrumento fiable para medir satisfacción de clientes de software

2.    Evaluación de la comprensión semántica del modelado dinámico en UML

3.    Sistema de gestión de meta-información para la integración de métricas de calidad de modelos UML

4.    Un método para medir el tamaño funcional y evaluar la calidad de sitios Web

5.    Mejora de la consistencia en la medición del tamaño funcional de productos software

14:00

Comida

 

16.00

Taller: Almacenes de Datos y Tecnología OLAP

Taller: Desarrollo de software preciso.

Taller: Ingeniería del Software orientada a la web

 

17:30

Pausa-Café

17:45

Taller: Almacenes de Datos y Tecnología OLAP

(continuación).

Taller: Desarrollo de software preciso

(continuación).

Taller: Ingeniería del Software orientada a la web

(continuación).

 

20:00

 

 

21.30

Cena de gala

 

 

 

 

 

 

Viernes 23 de noviembre

 

 

9:00

Sesión 3A. Bases de Datos Avanzadas
  1. Una propuesta de extensión de los metadatos de ODMG para la definición de esquemas externos
  2. Semántica de cambios para la evolución dinámica  de esquemas en diferentes modelos orientados a objetos
  3. Métricas de calidad para almacenes de datos
  4. Diseño de un lenguaje de consulta espacial para documentos XML
Sesión 3B. INGENIERÍA WEB
  1. Desarrollo de aplicaciones Web: Integración de técnicas de IC para la captura de requisitos
  2. Contenido en la Web: un modelo de reutilización

3.         Migration of legacy systems to the Web

4.         Especificación de requisitos de calidad en sistemas multiorganizacionales basados en servicios Web

9:30

10:00

 

11:00

Pausa-Café

11:30

Panel de expertos: La investigación en IdS  Pere Botella

Conferencia 3 (Conjunta con PROLE)

14:00

 

16.00

 

17:30

 

17:45

 

20:00

 

21.30