Métodos sistemáticos sobre sistemas distribuidos basados en objetos abiertos

FMOODS'99, tercera conferencia internacional sobre métodos sistemáticos sobre sistemas distribuidos basados en objetos abiertos, se celebrará en Florencia, Italia, del 15 al 18 de febrero de 1999, con el apoyo del programa comunitario específico de IDT para la Formación y Movilidad de los Investigadores (FMI). La conferencia está organizada por la Federación Internacional para el Tratamiento de la Información (FITI), y en ella se debatirán los nuevos retos y oportunidades para el uso y perfeccionamiento de métodos sistemáticos sobre sistemas distribuidos basados en objetos abiertos (OODS).

La conferencia tiene por objeto proporcionar un foro para la presentación de investigaciones en varios ámbitos y el intercambio de ideas y experiencias en temas relacionados con el sector. Durante la misma se tratarán, entre otros, los temas siguientes:

- Modelos sistemáticos para la informatización distribuida basada en objetos;
- Técnicas de análisis eficaz de las especificaciones;
- Especificaciones sistemáticas y rigurosas de las empresas comerciales;
- Perfeccionamiento y transformación de especificaciones;
- Semántica de los lenguajes de programación basados en objetos;
- Lenguajes de coordinación basados en objetos;
- Creación de modelos de puntos de vista múltiples y coherencia entre modelos diferentes;
- Calidad del servicio: especificaciones, verificación y pruebas de las dificultades;
- Aplicaciones a las telecomunicaciones y sectores conexos.

Para más información, dirigirse a:

Università di Bologna
Dipartimento di Scienze dell'Informazione
Paolo Ciancarini and Roberto Gorrieri
Mura Anteo Zamboni 7
I-40127 Bologna
E-mail: fmoods@cs.unibo.it
URL: http://www.dsi.unifi.it/fmoods/(se abrirá en una nueva ventana)