Méthodes formelles pour systèmes répartis ouverts articulés autour des objets

FMOODS 99, le troisième colloque international consacré aux méthodes formelles pour systèmes répartis ouverts articulés autour des objets, aura lieu à Florence, en Italie, du 15 au 18 février 1999, sous les auspices du programme spécifique de RDT instauré par l'UE en faveur de la formation et la mobilité des chercheurs (FMC). La manifestation est organisée par la Fédération internationale du traitement de l'information (IFIP), et son objectif sera de discuter des nouveaux enjeux et des nouvelles opportunités concernant l'utilisation et la mise au point de méthodes formelles pour les systèmes répartis ouverts articulés autour des objets (OODS).

L'objectif de FMOODS est de jouer le rôle de plate-forme pour la présentation de travaux de recherche dans plusieurs domaines, et de favoriser l'échange d'idées et d'expériences sur des thèmes liés aux méthodes formelles de soutien aux OODS. Les thèmes qui seront débattus lors de ce colloque seront les suivants (cette liste n'est pas limitative):

- Modèles formels pour l'informatique répartie orientée objets
- Techniques d'analyse efficaces des spécifications
- Spécifications formelles et rigoureuses des entreprises
- Perfectionnement et transformation des spécifications
- Aspects sémantiques des langages de programmation basés sur les objets
- Langages de coordination orientés objets
- Modélisation à points de vue multiples et uniformisation entre différents modèles
- Qualité du service: spécification, vérification et mise à l'essai des contraintes
- Applications à l'industrie des télécommunications et à des domaines connexes.

Pour tout renseignement supplémentaire s'adresser à:

Università di Bologna
Dipartimento di Scienze dell'Informazione
Paolo Ciancarini et Roberto Gorrieri
Mura Anteo Zamboni 7
I-40127 Bologna
E-mail: fmoods@cs.unibo.it
URL: http://www.dsi.unifi.it/fmoods/(s’ouvre dans une nouvelle fenêtre)