Metodi formali di sistemi distribuiti aperti orientati

Dal 15 al 18 febbraio 1999 si svolgerà a Firenze (Italia) il terzo convegno internazionale sui metodi formali per i sistemi distribuiti aperti orientati FMOODS'99, finanziato dal programma specifico di ricerca e sviluppo tecnologico dell'Unione europea nel settore della formazione e della mobilità dei ricercatori (FMR). L'avvenimento è organizzato dalla Federazione internazionale per l'elaborazione dell'informazione (IFIP) ed è volto ad esaminare le nuove sfide ed opportunità per l'uso e lo sviluppo di metodi formali di sistemi distribuiti aperti orientati.

L'obiettivo del FMOODS è di permettere la presentazione della ricerca in settori diversi e lo scambio di idee ed esperienze su aspetti legati ai metodi formali di sostegno ai sistemi distribuiti aperti orientati. Nel corso del convegno saranno affrontate, tra l'altro, le tematiche seguenti:

- modelli formali di calcolo distribuito orientato
- tecniche di analisi delle specifiche efficaci
- specifiche formali e rigorose delle imprese commerciali
- affinamento e trasformazione di specifiche
- semantica dei linguaggi di programmazione orientati
- linguaggi di coordinamento orientati
- modellatura ad ottiche multiple e coerenza tra modelli diversi
- qualità di servizio: specifiche, verifica e prove in materia di vincoli
- applicazioni per le telecomunicazioni ed aree collegate.

Per ulteriori informazioni rivolgersi a:

Università di Bologna
Dipartimento di Scienze dell'Informazione
Paolo Ciancarini e Roberto Gorrieri
Mura Anteo Zamboni 7
I-40127 Bologna
E-mail: fmoods@cs.unibo.it
URL: http://www.dsi.unifi.it/fmoods/(si apre in una nuova finestra)